| |
Any : 'a ty |
| |
Int32 : int32 ty |
| |
Int64 : int64 ty |
| |
Nativeint : nativeint ty |
| |
Exn : exn ty |
| |
Bool : bool ty |
| |
Int : int ty |
| |
Float : float ty |
| |
Char : char ty |
| |
Bytes : bytes ty |
| |
String : string ty |
| |
Unit : unit ty |
| |
Lazy : 'a0 ty -> 'a0 Lazy.t ty |
| |
Option : 'a1 ty -> 'a1 option ty |
| |
List : 'a2 ty -> 'a2 list ty |
| |
Array : 'a3 ty -> 'a3 array ty |
| |
Ref : 'a4 ty -> 'a4 Pervasives.ref ty |
| |
Ty : 'a5 ty -> 'a5 ty ty |
| |
Pair : 'a6 ty * 'b ty -> ('a6 * 'b) ty |
| |
Triple : 'a7 ty * 'b0 ty * 'c ty -> ('a7 * 'b0 * 'c) ty |
| |
Quadruple : 'a8 ty * 'b1 ty * 'c0 ty * 'd ty -> ('a8 * 'b1 * 'c0 * 'd) ty |
| |
Quintuple : 'a9 ty * 'b2 ty * 'c1 ty * 'd0 ty * 'e ty -> ('a9 * 'b2 * 'c1 * 'd0 * 'e) ty |
| |
Sextuple : 'a10 ty * 'b3 ty * 'c2 ty * 'd1 ty * 'e0 ty * 'f ty -> ('a10 * 'b3 * 'c2 * 'd1 * 'e0 * 'f) ty |
| |
Septuple : 'a11 ty * 'b4 ty * 'c3 ty * 'd2 ty * 'e1 ty * 'f0 ty * 'g ty -> ('a11 * 'b4 * 'c3 * 'd2 * 'e1 * 'f0 * 'g) ty |
| |
Octuple : 'a12 ty * 'b5 ty * 'c4 ty * 'd3 ty * 'e2 ty * 'f1 ty * 'g0 ty * 'h ty -> ('a12 * 'b5 * 'c4 * 'd3 * 'e2 * 'f1 * 'g0 * 'h) ty |
| |
Nonuple : 'a13 ty * 'b6 ty * 'c5 ty * 'd4 ty * 'e3 ty * 'f2 ty * 'g1 ty * 'h0 ty * 'i ty -> ('a13 * 'b6 * 'c5 * 'd4 * 'e3 * 'f2 * 'g1 * 'h0 * 'i) ty |
| |
Decuple : 'a14 ty * 'b7 ty * 'c6 ty * 'd5 ty * 'e4 ty * 'f3 ty * 'g2 ty * 'h1 ty * 'i0 ty * 'j ty -> ('a14 * 'b7 * 'c6 * 'd5 * 'e4 * 'f3 * 'g2 * 'h1 * 'i0 * 'j) ty |
| |
Fun : 'a15 ty * 'b8 ty -> ('a15 -> 'b8) ty |