Implementation for Pair.t.
Pair.t is the simplest product type. In addition to allowing the generic description of product types, it allows the description of a conjunction.
module Bifunctor : Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) tAdditional functions to facilitate practical work with Pair.t.
val fst : ('a, 'b) t -> 'aExtract the first component of a pair.
val snd : ('a, 'b) t -> 'bExtract the second component of a pair.
val curry : (('a, 'b) t -> 'c) -> 'a -> 'b -> 'cConvert a function which take a pair to a curried version.
val uncurry : ('a -> 'b -> 'c) -> ('a, 'b) t -> 'cConvert a curried function to a function which take a pair.
Equality between Pair.t.
val pp :
(Format.formatter -> 'a -> unit) ->
(Format.formatter -> 'b -> unit) ->
Format.formatter ->
('a, 'b) t ->
unitFormatter for pretty-printing for Pair.t.
module Infix : sig ... endval (&) : 'a -> 'b -> ('a, 'b) t