`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`