Module May_contain.Dependencies

A set of Fix_id.t representing the recursive dependencies of a computation.

module Item : sig ... end
type t
val is_empty : t -> bool
val fold : t -> init:'a -> f:('a -> Item.t -> 'a) -> 'a