Functor Identifiable.Pair

module Pair: functor (A : Thing) -> functor (B : Thing) -> Thing  with type t = A.t * B.t

Parameters:

`A`	:	`Thing`
`B`	:	`Thing`

type t

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.