module Md: sig .. end
sig
end
Based on the article: The Minimum Degree Heuristic and the Minimal Triangulation Process by A. Berry, Pinar Heggernes & Geneviève Simonet. Author(s): Matthieu Sozeau, Pierre-Loic Garoche
module P: functor (G : Sig.P) -> sig .. end
functor (
G
:
Sig.P
) ->
module I: functor (G : Sig.I) -> sig .. end
Sig.I