sig
type t = int * Cliquetree.CliqueTree.CVS.t
val compare :
Cliquetree.CliqueTree.CliqueTreeE.t ->
Cliquetree.CliqueTree.CliqueTreeE.t -> int
val default : Cliquetree.CliqueTree.CliqueTreeE.t
val create :
int -> Cliquetree.CliqueTree.CVS.t -> Cliquetree.CliqueTree.CliqueTreeE.t
val vertices :
Cliquetree.CliqueTree.CliqueTreeE.t -> Cliquetree.CliqueTree.CVS.t
end