Javert_utils.Js_generators
val fresh_sth : string -> (unit -> string) * (unit -> unit)
val fresh_lvar : unit -> string
val reset_lvar : unit -> unit
val fresh_pvar : unit -> string
val reset_pvar : unit -> unit
val reset : unit -> unit