package topological_sort

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module type Node = sig ... end

module Edge : sig ... end

val sort : 
  ?verbose:bool ->
  (module Node with type t = 'node) ->
  'node list ->
  'node Edge.t list ->
  'node list Core_kernel.Or_error.t

sort (module Node) nodes edges returns a list of nodes output satisfying:

every node that appears in nodes or edges occurs once in output.
if { from; to_ } is in edges, then from occurs before to_ in output.
nodes that have no incoming or outgoing edges appear sorted at the end of output.

sort returns Error if there is a cycle.