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