module Pair: functor (A : Thing) -> functor (B : Thing) -> Thing with type t = A.t * B.t
type
include Hashtbl.HashedType
include Map.OrderedType
val output : out_channel -> t -> unit
val print : Format.formatter -> t -> unit
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from
this page.