Freshening.Project_var
type t
val empty : t
val compose : earlier:t -> later:t -> t
val apply_closure_id : t -> Closure_id.t -> Closure_id.t
val apply_var_within_closure : t -> Var_within_closure.t -> Var_within_closure.t
val print : Format.formatter -> t -> unit