module CliqueV : sig ... endmodule CVS : sig ... endmodule CliqueTreeV : sig ... endmodule CliqueTreeE : sig ... endmodule CliqueTree : sig ... endval mcs_clique : G.t -> G.V.t list * CliqueTree.t * CliqueTree.V.tval is_chordal : G.t -> boolval maxwidth : G.t -> G.t -> CliqueTree.t -> int