Begin converting Ast print functions so they can be used with format %a.

[goals.git] / src / ast.mli

diff --git a/src/ast.mli b/src/ast.mli
index c7e3be4..3a42ec4 100644 (file)
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -80,3 +80,5 @@ module Substs : sig
 end
 
 val print_env : out_channel -> env -> unit
+
+val string_pattern : unit -> pattern -> string