module Make: functor (G : G) -> sig .. end
functor (
G
:
) ->
sig
end
val leader_lists : Leaderlist.G.t -> G.V.t -> G.V.t list list
Leaderlist.G.t -> G.V.t -> G.V.t list list
leader_lists graph root
root