X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=406a8293bf8710f83cdf353d9b508c194f34818f;hb=ef2b2a9ce0c7ba6f05754e3da1e5e9fbbdf88d15;hp=b42294c6f47e93dcef34a663fe6449c6f9497ba6;hpb=87e6a2f2a8d79dd10b17f3647dffb3774f0d582f;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index b42294c..406a829 100644
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -113,9 +113,8 @@ module Substs : sig
   val add_var : t -> string -> unit
 end
 
-(** Print all definitions in an environment. *)
-val print_env : out_channel -> env -> unit
-
 (** %a formatters. *)
+val print_env : out_channel -> env -> unit
 val string_pattern : unit -> pattern -> string
 val string_expr : unit -> expr -> string
+val print_expr : out_channel -> expr -> unit