sig
  type data =
      Cliquetree.CliqueTree.CliqueV.t list * Cliquetree.CliqueTree.CVS.t
  type label
  type t
  val compare :
    Cliquetree.CliqueTree.CliqueTreeV.t ->
    Cliquetree.CliqueTree.CliqueTreeV.t -> int
  val hash : Cliquetree.CliqueTree.CliqueTreeV.t -> int
  val equal :
    Cliquetree.CliqueTree.CliqueTreeV.t ->
    Cliquetree.CliqueTree.CliqueTreeV.t -> bool
  val create :
    Cliquetree.CliqueTree.CliqueTreeV.data ->
    Cliquetree.CliqueTree.CliqueTreeV.label ->
    Cliquetree.CliqueTree.CliqueTreeV.t
  val label :
    Cliquetree.CliqueTree.CliqueTreeV.t ->
    Cliquetree.CliqueTree.CliqueTreeV.label
  val data :
    Cliquetree.CliqueTree.CliqueTreeV.t ->
    Cliquetree.CliqueTree.CliqueTreeV.data
end