Module Lazy_storage_kind.Temp_ids

Type to manage temporary ids. Used only in the context.

type t
val init : t
val fresh : ('i, 'a, 'u) kind -> t -> t * 'i
val fold_s : ('i, 'a, 'u) kind -> ('acc -> 'i -> 'acc Mavryk_protocol_environment_alpha.Lwt.t) -> t -> 'acc -> 'acc Mavryk_protocol_environment_alpha.Lwt.t