Type.Fresh
Generate fresh types from existing types.
type mapper = Type_base.Fresh.mapper
val init : ?preserve_positions:bool -> ?selector:(var -> bool) -> ?level:int -> unit -> mapper
val make_var : mapper -> var -> var
val make : mapper -> t -> t