Module AcyclicGraph

Graphs representing strict orders

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