Module Type_base.Fresh

type mapper = {
  1. level : int option;
  2. preserve_positions : bool;
  3. selector : var -> bool;
  4. var_maps : (var, var) Stdlib.Hashtbl.t;
}
val init : ?preserve_positions:bool -> ?selector:(var -> bool) -> ?level:int -> unit -> mapper
val make_var : mapper -> var -> var
val make : mapper -> t -> t