MaximalCardinalitySearch.I
module Gr : sig ... end
type edgelist = (Gr.V.t * Gr.V.t) list
val mcsm : Gr.t -> (int * Gr.V.t) list * edgelist
val triangulate : Gr.t -> unit