Module Computation.Recursive_scopes

type t
val empty : t
val add_exn : t -> key:'a Fix_id.t -> data:('a, unit) T.packed_info lazy_t -> t
val add_overwriting : t -> key:'a Fix_id.t -> data:('a, unit) T.packed_info lazy_t -> t
val find : t -> 'a Fix_id.t -> ('a, unit) T.packed_info lazy_t option
val find_exn : t -> 'a Fix_id.t -> ('a, unit) T.packed_info lazy_t