functor (G : G) -> sig val maximalcliques : Clique.G.t -> G.V.t list list end