Module type `Type.Polymorphic2_input`

See module Polymorphic_input: very same functions with one additional argument corresponding to the second type variable.

val name : 'a t -> 'b t -> 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