Module Generic_core_desc.Con.Build

module Build: sig .. end

Helper module for building the argument types.

val cp0 : (unit, 'v) Generic_core_desc.Con.arguments

val cp1 : 'a Ty.T.ty -> ('a * unit, 'b) Generic_core_desc.Con.arguments

val cp2 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       ('a * ('b * unit), 'c) Generic_core_desc.Con.arguments

val cp3 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       ('a * ('b * ('c * unit)), 'd) Generic_core_desc.Con.arguments

val cp4 : 'a Ty.T.ty ->
       'b Ty.T.ty ->
       'c Ty.T.ty ->
       'd Ty.T.ty ->
       ('a * ('b * ('c * ('d * unit))), 'e) Generic_core_desc.Con.arguments

val cp5 : '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)))), 'f) Generic_core_desc.Con.arguments

val cp6 : '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))))), 'g)
       Generic_core_desc.Con.arguments

val cp7 : '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)))))), 'h)
       Generic_core_desc.Con.arguments

val cp8 : '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))))))), 'i)
       Generic_core_desc.Con.arguments

val cp9 : '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)))))))), 'j)
       Generic_core_desc.Con.arguments