def num

bend-kit-time@0.3.0.0 · time.bend:412

import bend-kit-time@0.3.0.0/time.bend as Time

import Base

412# Exactly n digits.
413def num(n: Nat, p: P) -> Maybe<&2, P>:
414  match p:
415    case P{vs, s}:
416      push(vs, digits.go(n, s, 0, True{}))

Uses (6)

Used by (3)