public IFormType BuildForm(ITypeEnvironment env) { IFormType a = Expr1.BuildForm(env); IFormType b = Expr2.BuildForm(env); IFormType type = a.GetLeastUpperBound(b); return(type); }
public IFormType BuildForm(ITypeEnvironment env) { return(Expr1.BuildForm(env)); }