• en

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