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