Parameter Polymorphic2.1-P
val mk_equal :
( 'a -> 'a -> bool ) ->
( 'b -> 'b -> bool ) ->
( 'a, 'b ) t ->
( 'a, 'b ) t ->
bool
val mk_compare :
( 'a -> 'a -> int ) ->
( 'b -> 'b -> int ) ->
( 'a, 'b ) t ->
( 'a, 'b ) t ->
int
val mk_hash : ( 'a -> int ) -> ( 'b -> int ) -> ( 'a, 'b ) t -> int
val map : ( 'a -> 'a ) -> ( 'b -> 'b ) -> ( 'a, 'b ) t -> ( 'a, 'b ) t
val mk_pretty :
( Stdlib.Format.formatter -> 'a -> unit ) ->
( Stdlib.Format.formatter -> 'b -> unit ) ->
Stdlib.Format.formatter ->
( 'a, 'b ) t ->
unit