MaximalCardinalitySearch.P
module G : sig ... end
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