sig
  type t
  val compare :
    Cliquetree.CliqueTree.CliqueV.t -> Cliquetree.CliqueTree.CliqueV.t -> int
  val hash : Cliquetree.CliqueTree.CliqueV.t -> int
  val equal :
    Cliquetree.CliqueTree.CliqueV.t ->
    Cliquetree.CliqueTree.CliqueV.t -> bool
  val label :
    Cliquetree.CliqueTree.CliqueV.t -> Cliquetree.CliqueTree.CliqueV.t
  val create : G.V.t -> Cliquetree.CliqueTree.CliqueV.t
  val vertex : Cliquetree.CliqueTree.CliqueV.t -> G.V.t
end