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