~/jendhub

def prefix.digits

bend-kit-netip@0.1.0.0 · netip.bend:356

import bend-kit-netip@0.1.0.0/netip.bend as Netip
import Base

356def prefix.digits(s: String) -> Bool:
357  match s:
358    case SNil{}:
359      True{}
360    case SCon{Chr{+c}, t}:
361      Bool.and(Bool.and(U32.is_le(48, c), U32.is_le(c, 57)), prefix.digits(t))

Uses (5)

Used by (1)