- (** goal (params) = patterns : exprs = code *)
- | EGoal of goal
- (** goalname (params), tactic (params) etc. *)
- | ECall of id * expr list
- (** variable *)
- | EVar of id
+ | EGoalDefn of loc * goal
+ (** goal (params) = patterns : exprs code *)
+ | EFuncDefn of loc * func
+ (** function (params) = code *)
+ | ETacticDefn of loc * tactic
+ (** tactic (params) = code *)
+ | ECall of loc * id * expr list
+ (** call goal (params) or function (params) *)
+ | ETacticCtor of loc * id * expr list
+ (** constructor *tactic (params) *)
+ | EVar of loc * id
+ (** variable, or goal call with no parameters *)
+ | EList of loc * expr list