X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=src%2Fast.mli;h=067d20a10a36b0bb74e54d431183984a42b67037;hb=c46c3a5c7793753f2f15c1655517f3f9b8fee644;hp=c7e3be4797645d6ce1412f48682eefbf2778b52b;hpb=b14ff66c953e6a73e9ac2fe8d42dd68e92e58f53;p=goals.git

diff --git a/src/ast.mli b/src/ast.mli
index c7e3be4..067d20a 100644
--- a/src/ast.mli
+++ b/src/ast.mli
@@ -17,7 +17,7 @@
  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  *)
 
-module StringMap : sig
+module Env : sig
   type key = string
   type 'a t
   val empty: 'a t
@@ -36,7 +36,7 @@ val string_loc : unit -> loc -> string
 
 (** An environment is a set of variable and goal definitions, mapping
     variable or goal name -> expression. *)
-type env = expr StringMap.t
+type env = expr Env.t
 and pattern =
   (** match tactic such as file ("filename") *)
   | PTactic of loc * id * substs list
@@ -80,3 +80,5 @@ module Substs : sig
 end
 
 val print_env : out_channel -> env -> unit
+
+val string_pattern : unit -> pattern -> string