Module type Type.Polymorphic2_input

module type Polymorphic2_input = sig .. end
See module Type.Polymorphic_input: very same functions with one additional argument corresponding to the second type variable.

val name : 'a Type.t -> 'b Type.t -> string
val module_name : string
val structural_descr : Structural_descr.t -> Structural_descr.t -> Structural_descr.t
type ('a, 'b) t 
val reprs : 'a -> 'b -> ('a, 'b) t list