public ConstDef ( |
||
name | ||
sort | ||
expr | ||
return | System |
public ConstDef(FastToken name, FastToken sort, FExp expr)
: base(DefKind.Const)
{
this.name = name;
this.sort = FastSort.GetSort(sort);
this.expr = expr;
}