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