Module Topological_sort


module Topological_sort: sig  end


type 'a set = 'a Set_list.set
val topological_sort : depends:('a -> 'b set) ->
defines:('a -> 'b set) -> 'a list -> 'a list