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