Module `String_assoc.StringAssoc`

type t = (Imandra_prelude.string, Imandra_prelude.string) Hashtbl.t

exception No_match of Imandra_prelude.string

val h : t option Pervasives.ref
val init_tbl : Imandra_prelude.unit -> unit
val get : Imandra_prelude.string -> Imandra_prelude.string