//public QueryKind queryKind; public QueryDef(FastToken token) : base(DefKind.Query) { this.func = new FuncSymbol(token, 0); }
public BuiltinExp(FastToken func, int arity) { this.func = new FuncSymbol(func, arity); this.arity = arity; }
public AppExp(FastToken func, IEnumerable<FExp> args) { this.args = new List<FExp>(args); this.func = new FuncSymbol(func, this.args.Count); this._sort = null; this.isTranDef = false; this.isLangDef = false; }