module Cliquetree: sig .. end
sig
end
Based on the article: Chordal graphs and their clique graph by P. Galinier, M. Habib and C. Paul. Author(s): Matthieu Sozeau
module CliqueTree: functor (G : Sig.G) -> sig .. end
functor (
G
:
Sig.G
) ->