sig
  val st : Enumerative.state Pervasives.ref
  val env : Enumerative.env Pervasives.ref
  val new_state : unit -> unit
  val encoding : (string, int) Hashtbl.t
end