Make (p.lsp.1.4.1.doc.lsp.stdune.Stdune.Top

Parameters

module Keys : Top_closure_intf.Keys

module Monad : Monad_intf.S1

val 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