Hoist.CollectContext
type t = {
mutable fresh_id : Prelude.int;
}
val fresh_local_ident : t -> Local_ident.t
val empty : t