Module CliqueTree.V
Vertices have type V.t
and are labeled with type V.label
(note that an implementation may identify the vertex with its label)
type t
= CliqueTreeV.t
CliqueTree.V
Vertices have type V.t
and are labeled with type V.label
(note that an implementation may identify the vertex with its label)
type t
= CliqueTreeV.t