Type.Polymorphic2_input
See module Polymorphic_input
: very same functions with one additional argument corresponding to the second type variable.
val structural_descr :
Structural_descr.t ->
Structural_descr.t ->
Structural_descr.t
val reprs : 'a -> 'b -> ( 'a, 'b ) t list