StdlibPlusmodule Array : sig ... endmodule Cat : sig ... endmodule Cats : sig ... endmodule Compare : sig ... endmodule Concepts : sig ... endmodule EditDistance : sig ... endmodule Exn : sig ... endmodule Filename : sig ... endmodule Fun : sig ... endmodule JsonString : sig ... endmodule List : sig ... endmodule Loc : sig ... endmodule Map : sig ... endmodule Option : sig ... endmodule Pair : sig ... endmodule Pos : sig ... endmodule Profiling : sig ... endmodule Res : sig ... endmodule Seq : sig ... endmodule Set : sig ... endmodule Sq : sig ... endmodule String : sig ... endmodule UTF : sig ... endinclude module type of struct include Compare.Syntax endComposition of comparisons: compare a b <>? fun () -> compare x y.
val (<?>) : 'a Concepts.Syntax.cmp Concepts.Syntax.bopComposition of comparisons: compare_a <?> compare_b.
include module type of struct include Concepts.Syntax endmodule type StringableType = Concepts.Syntax.StringableTypemodule type EqualityType = Concepts.Syntax.EqualityTypemodule type OrderedType = Concepts.Syntax.OrderedTypemodule type Traversable'1 = Concepts.Syntax.Traversable'1module type Traversable'2 = Concepts.Syntax.Traversable'2module type Traversable'3 = Concepts.Syntax.Traversable'3module type Traversable'4 = Concepts.Syntax.Traversable'4module type Traversable'5 = Concepts.Syntax.Traversable'5module type Traversable'6 = Concepts.Syntax.Traversable'6include module type of struct include Exn.Syntax endinclude module type of struct include Fun.Syntax endval eq'2 : ('a * 'b) Concepts.Syntax.bprval eq'3 : ('a * 'b * 'c) Concepts.Syntax.bprval eq'4 : ('a * 'b * 'c * 'd) Concepts.Syntax.bpr