~/jendhub

def big.trim.go

yaml-for-bend@0.1.1.0 · num.bend:43

import yaml-for-bend@0.1.1.0/num.bend as Num
import Base

43def big.trim.go(ds: List<&2, Nat>) -> List<&2, Nat>:
44  match ds:
45    case Nil{}:
46      []
47    case Con{+d, +rest}:
48      when(List<&2, Nat>, Nat.is_eq(d, 0n), u => big.trim.go(rest), u => d <> rest)

Uses (4)

Used by (1)