MaximalCardinalitySearch.P
G : Sig.P
type edgelist
= (G.V.t * G.V.t) list
val mcsm : G.t -> (int * G.V.t) list * edgelist
val triangulate : G.t -> G.t