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