Functor Mcs_m.MaximalCardinalitySearch.I

module I: 
functor (Gr : Sig.I) -> sig .. end
Gr : Sig.I

type edgelist = (Gr.V.t * Gr.V.t) list 
val mcsm : Gr.t -> (int * Gr.V.t) list * edgelist
mcsm g return a tuple (o, e) where o is a perfect elimination order of g' where g' is the triangulation e applied to g.
val triangulate : Gr.t -> unit
triangulate g triangulates g using the MCS-M algorithm