Factor out param_decl and improvements to AST printing.

[goals.git] / src / ast.mli

diff --git a/src/ast.mli b/src/ast.mli
index c59de00..978099e 100644 (file)
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -60,7 +60,9 @@ and expr =
   | EConstant of loc * constant
 and constant =
   | CString of string
-and goal = id list * pattern list * expr list * code option
+and goal = param_decl list * pattern list * expr list * code option
+  (** Goal parameter is the parameter name and an optional default value. *)
+and param_decl = id
 and id = string
 and code = substs
 and substs = subst list