~/jendhub

def digits

bend-kit-postgres@0.3.0.0 · scram.bend:76

import bend-kit-postgres@0.3.0.0/scram.bend as Scram
import Base

76def digits(s: String) -> Bool:
77  match s:
78    case SNil{}:
79      True{}
80    case SCon{Chr{+c}, t}:
81      Bool.and(Bool.and(U32.is_le(48, c), U32.is_le(c, 57)), digits(t))

Uses (5)

Used by (1)