def ns.lead

import cswap-bend-cli@0.1.0.0/fmt/ylex.bend as Ylex

import Base

37def ns.lead(+c: U32) -> NS:
38  Bool.pick(NS, U32.is_eq(c, 48), NZero{}, Bool.pick(NS, between(c, 49, 57), NInt{}, NBad{}))

Uses (5)