val reprs : 'a->'b->'c->'d->( 'a, 'b, 'c, 'd )t list
val mk_equal :
( 'a->'a-> bool )->( 'b->'b-> bool )->( 'c->'c-> bool )->( 'd->'d-> bool )->( 'a, 'b, 'c, 'd )t->( 'a, 'b, 'c, 'd )t->
bool
val mk_compare :
( 'a->'a-> int )->( 'b->'b-> int )->( 'c->'c-> int )->( 'd->'d-> int )->( 'a, 'b, 'c, 'd )t->( 'a, 'b, 'c, 'd )t->
int
val mk_hash :
( 'a-> int )->( 'b-> int )->( 'c-> int )->( 'd-> int )->( 'a, 'b, 'c, 'd )t->
int
val map :
( 'a->'a )->( 'b->'b )->( 'c->'c )->( 'd->'d )->( 'a, 'b, 'c, 'd )t->( 'a, 'b, 'c, 'd )t
val mk_pretty :
( Stdlib.Format.formatter ->'a-> unit )->( Stdlib.Format.formatter ->'b-> unit )->( Stdlib.Format.formatter ->'c-> unit )->( Stdlib.Format.formatter ->'d-> unit )->Stdlib.Format.formatter ->( 'a, 'b, 'c, 'd )t->
unit