X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=978099e5d24bfe26bc406113485a924a9dda1e28;hb=24cc20b33e3d81ed7d754391bef929276c1f4f42;hp=c59de0042240f6d1f1b4aa3fbcfad3f3d495e887;hpb=28a34f592996bec9dc524f1741764878c9c85e1c;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index c59de00..978099e 100644
--- 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