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