AcyclicGraph
Graphs representing strict orders
type constraint_type
=
|
Lt
Le
Eq
module type Point = sig ... end
module Make : functor (Point : Point) -> sig ... end