~/jendhub

def Decimal.read.push

bend-kit-bignum@0.1.0.0 · decimal.bend:297

import bend-kit-bignum@0.1.0.0/decimal.bend as Decimal
import Base

297def Decimal.read.push(+c: U32, ds: String) -> String:
298  match ds:
299    case SNil{}:
300      Decimal.read.lead(U32.is_eq(c, 48), c)
301    case SCon{h, t}:
302      SCon{Chr{c}, SCon{h, t}}

Uses (5)

Used by (1)