type Lit

bend-kit-jwt@0.11.0.1 · jwt.bend:158

import Base

158# A NumericDate (RFC 7519 §2) rounded up to whole seconds and capped at the U32 top, or None when it is
159# negative or has an exponent. Up is exact against a whole now: now >= t iff now >= ceil(t).
160type Lit is Data:
161  LStr{s: String}
162  LNum{t: Maybe<&2, U32>}
163  LStrs{xs: Maybe<&2, List<&2, String>>}
164  LOther{}