Module Graph__.Leaderlist

module type G = sig ... end

Minimal graph signature for leader list algorithm

module Make : functor (G : G) -> sig ... end