Module Graph.Cliquetree

module CliqueTree (G : sig ... end) : sig ... end