| TYP_F : float ‑> (dns, num, flt, p64) typ |
| TYP_C : Complex.t ‑> (dns, num, cpx, p64) typ |
| TYP_DMS : dms ‑> (dns, mat, flt, p32) typ |
| TYP_DMD : dmd ‑> (dns, mat, flt, p64) typ |
| TYP_DMC : dmc ‑> (dns, mat, cpx, p32) typ |
| TYP_DMZ : dmz ‑> (dns, mat, cpx, p64) typ |
| TYP_DAS : das ‑> (dns, arr, flt, p32) typ |
| TYP_DAD : dad ‑> (dns, arr, flt, p64) typ |
| TYP_DAC : dac ‑> (dns, arr, cpx, p32) typ |
| TYP_DAZ : daz ‑> (dns, arr, cpx, p64) typ |
| TYP_SMS : sms ‑> (sps, mat, flt, p32) typ |
| TYP_SMD : smd ‑> (sps, mat, flt, p64) typ |
| TYP_SMC : sms ‑> (sps, mat, cpx, p32) typ |
| TYP_SMZ : smd ‑> (sps, mat, cpx, p64) typ |
| TYP_SAS : sas ‑> (sps, arr, flt, p32) typ |
| TYP_SAD : sad ‑> (sps, arr, flt, p64) typ |
| TYP_SAC : sac ‑> (sps, arr, cpx, p32) typ |
| TYP_SAZ : saz ‑> (sps, arr, cpx, p64) typ |