Beispiel #1
0
        public IFormType BuildForm(ITypeEnvironment env)
        {
            IFormType a    = Expr1.BuildForm(env);
            IFormType b    = Expr2.BuildForm(env);
            IFormType type = a.GetLeastUpperBound(b);

            return(type);
        }
Beispiel #2
0
 public IFormType BuildForm(ITypeEnvironment env)
 {
     return(Expr1.BuildForm(env));
 }