and expr =
| EGoalDefn of loc * goal
(** goal (params) = patterns : exprs code *)
| EFuncDefn of loc * func
(** function (params) = code *)
and expr =
| EGoalDefn of loc * goal
(** goal (params) = patterns : exprs code *)
| EFuncDefn of loc * func
(** function (params) = code *)