Module AcyclicGraph

Graphs representing strict orders

type constraint_type =
| Lt
| Le
| Eq
module type Point = sig ... end
module Make : functor (Point : Point) -> sig ... end