~/jendhub

def simple.ok

bend-kit-cbor@0.3.0.0 · cbor.bend:220

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import Base

220# Simple values 20..23 have their own constructors, 24..31 are reserved (RFC 8949 §3.3).
221def simple.ok(+v: U32) -> Bool:
222  U32.is_lt(v, 20) || (U32.is_le(32, v) && U32.is_le(v, 255))

Uses (6)

Used by (1)