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