public VEAbs( string valueVarName, ITypeExpr typeExpr, IValueExpr valueExpr ) { mValueVarName = valueVarName; mTypeExpr = typeExpr; mValueExpr = valueExpr; }
public VClosure( IValueEnv valueEnv, string valueVarName, IValueExpr valueExpr ) { mValueEnv = valueEnv; mValueVarName = valueVarName; mValueExpr = valueExpr; }
public VETypeAbs( string typeVarName, IKind kind, IValueExpr valueExpr ) { mTypeVarName = typeVarName; mKind = kind; mValueExpr = valueExpr; }
public VETypeApp(IValueExpr valueExpr, ITypeExpr typeExpr) { mValueExpr = valueExpr; mTypeExpr = typeExpr; }
public VERef(IValueExpr valueExpr, string methodName) { mValueExpr = valueExpr; mMethodName = methodName; }
public VEApp(IValueExpr valueExpr1, IValueExpr valueExpr2) { mValueExpr1 = valueExpr1; mValueExpr2 = valueExpr2; }
public VEDef(string valueVarName, IValueExpr valueExpr) { mValueVarName = valueVarName; mValueExpr = valueExpr; }
public VEUnfold(ITypeExpr typeExpr, IValueExpr valueExpr) { mTypeExpr = typeExpr; mValueExpr = valueExpr; }