- (** goal (params) = patterns : exprs = code *)
- | EGoal of loc * goal
- (** goalname (params) etc. *)
- | ECall of loc * id * expr list
- (** *tactic (params) etc. *)
- | ETactic of loc * id * expr list
+ (** goal (params) = patterns : exprs code *)
+ | EGoalDefn of loc * goal
+ (** tactic (params) = code *)
+ | ETacticDefn of loc * tactic
+ (** call goalname (params) etc. *)
+ | ECallGoal of loc * id * expr list
+ (** call *tactic (params) etc. *)
+ | ETacticCtor of loc * id * expr list