Exemplo n.º 1
0
        public IFormType BuildForm(ITypeEnvironment env)
        {
            IFormType a    = Expr1.BuildForm(env);
            IFormType b    = Expr2.BuildForm(env);
            IFormType type = a.GetLeastUpperBound(b);

            return(type);
        }
Exemplo n.º 2
0
 public IFormType BuildForm(ITypeEnvironment env)
 {
     return(Expr1.BuildForm(env));
 }