Polymorphic2.T
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