Functor Leaderlist.Make

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

val leader_lists : Leaderlist.G.t -> G.V.t -> G.V.t list list
leader_lists graph root computes the leader lists or basic blocks of the given graph. The node root is always a leader of a basic block.