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