Module Top_closure.Int

val top_closure : key:('a -> int) -> deps:('a -> 'a Monad.Id.t) -> 'a list -> 'a Monad.Id.t

Returns Error cycle in case the graph is not a DAG