module Muparser_globals:sig
..end
State being currently constructed
val st : Enumerative.state Pervasives.ref
val env : Enumerative.env Pervasives.ref
val new_state : unit -> unit
Called by Mulexer
val encoding : (string, int) Hashtbl.t
Filled by Murphi.mk_encoding_table