public ISemantReturn<ExprType> GetExprType(Env env) { var baseType = Semant(this.SpecQualList.GetExprType, ref env); var type = Semant(this.AbstractDeclr.DecorateType, baseType, ref env); return SemantReturn.Create(env, type); }