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