X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=cf776ebe7e0e1e71c0dc70b31e1984bc70bee3e4;hb=881b2e9b7bad0da8f44418e9e6558710db5ce690;hp=9ee55b0547766e9f2fcfe79f440e83a67cd915e9;hpb=cf200f49ee192e0070a374353063b769c4e628be;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index 9ee55b0..cf776eb 100644
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -65,11 +65,12 @@ and expr =
 and constant =
   | CString of string
 and goal = param_decl list * pattern list * expr list * code option
-and func = param_decl list * code
+and func = param_decl list * returning * bool * code
 and tactic = param_decl list * code
 and param_decl = id             (** goal/func/tactic parameter. *)
 and id = string
-and code = substs
+and code = substs * bool        (** code + quiet flag *)
+and returning = RetExpr | RetStrings | RetString
 and substs = subst list
 and subst =
   | SString of string