Module Generic_core_product.Build

module Build: sig .. end

val p0 : unit Generic_core_product.t

val p1 : 'a Ty.T.ty -> ('a * unit) Generic_core_product.t

val p2 : 'a Ty.T.ty ->
       'b Ty.T.ty -> ('a * ('b * unit)) Generic_core_product.t

val p3 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty -> ('a * ('b * ('c * unit))) Generic_core_product.t

val p4 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       ('a * ('b * ('c * ('d * unit)))) Generic_core_product.t

val p5 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       'e Ty.T.ty ->
       ('a * ('b * ('c * ('d * ('e * unit))))) Generic_core_product.t

val p6 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       'e Ty.T.ty ->
       'f Ty.T.ty ->
       ('a * ('b * ('c * ('d * ('e * ('f * unit)))))) Generic_core_product.t

val p7 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       'e Ty.T.ty ->
       'f Ty.T.ty ->
       'g Ty.T.ty ->
       ('a * ('b * ('c * ('d * ('e * ('f * ('g * unit))))))) Generic_core_product.t

val p8 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       'e Ty.T.ty ->
       'f Ty.T.ty ->
       'g Ty.T.ty ->
       'h Ty.T.ty ->
       ('a * ('b * ('c * ('d * ('e * ('f * ('g * ('h * unit))))))))
       Generic_core_product.t

val p9 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       'e Ty.T.ty ->
       'f Ty.T.ty ->
       'g Ty.T.ty ->
       'h Ty.T.ty ->
       'i Ty.T.ty ->
       ('a * ('b * ('c * ('d * ('e * ('f * ('g * ('h * ('i * unit)))))))))
       Generic_core_product.t

val p10 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       'e Ty.T.ty ->
       'f Ty.T.ty ->
       'g Ty.T.ty ->
       'h Ty.T.ty ->
       'i Ty.T.ty ->
       'j Ty.T.ty ->
       ('a * ('b * ('c * ('d * ('e * ('f * ('g * ('h * ('i * ('j * unit))))))))))
       Generic_core_product.t