module type ANY_TYPE = sig ... endmodule type ORDERED_TYPE = sig ... endmodule type ORDERED_TYPE_DFT = sig ... endmodule type HASHABLE = sig ... endmodule type COMPARABLE = sig ... endmodule type VERTEX = sig ... endmodule type EDGE = sig ... endmodule type G = sig ... endmodule type P = sig ... endmodule type I = sig ... endmodule type WEIGHT = sig ... endmodule type MARK = sig ... endmodule type IM = sig ... end