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