Module Top_closure.MakeSource

Parameters

Signature

Sourceval top_closure : key:('a -> Keys.elt) -> deps:('a -> 'a list Monad.t) -> 'a list -> ('a list, 'a list) result Monad.t

Returns Error cycle in case the graph is not a DAG