Module Muparser_globals (.ml)

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