Parameter Polymorphic2.1-P

include Type.Polymorphic2_input
val name : 'a Type.t -> 'b Type.t -> string
val module_name : string
type ('a, 'b) t
val reprs : 'a -> 'b -> ( 'a, 'b ) t list
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
val mk_mem_project : ( ( Project_skeleton.t -> bool ) -> 'a -> bool ) -> ( ( Project_skeleton.t -> bool ) -> 'b -> bool ) -> ( Project_skeleton.t -> bool ) -> ( 'a, 'b ) t -> bool