; CDDL standard prelude (RFC 8610, Appendix D)
; Defines built-in types for CBOR data model

any = #

uint = #0
nint = #1
int = uint / nint

bstr = #2
bytes = bstr
tstr = #3
text = tstr

tdate = #6.0(tstr)
time = #6.1(number)
number = int / float
biguint = #6.2(bstr)
bignint = #6.3(bstr)
bigint = biguint / bignint
integer = int / bigint
unsigned = uint / biguint
decfrac = #6.4([e10: int, m: integer])
bigfloat = #6.5([e2: int, m: integer])

eb64url = #6.21(any)
eb64legacy = #6.22(any)
eb16 = #6.23(any)
cbor = #6.24(bstr)
uri = #6.32(tstr)
b64url = #6.33(tstr)
b64legacy = #6.34(tstr)
regexp = #6.35(tstr)
mime-message = #6.36(tstr)
cbor-any = #6.55799(any)

float16 = #7.f16
float32 = #7.f32
float64 = #7.f64
float16-32 = float16 / float32
float32-64 = float32 / float64
float = float16-32 / float64

false = #7.f4
true = #7.f5
bool = false / true
nil = #7.f6
null = nil
undefined = #7.f7