* 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
(** 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
end
val print_env : out_channel -> env -> unit
+
+val string_pattern : unit -> pattern -> string