git.annexia.org
/
goals.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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
| 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
and id = string
and code = substs
and substs = subst list