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;
}
