def drop.pick

bend-toon-codec@0.1.0.0 · src/num.bend:165

import bend-toon-codec@0.1.0.0/src/num.bend as Num

import Base

165def drop.pick(+z: Bool, +s: String, +rest: String) -> String:
166  match z:
167    case True{}:
168      rest
169    case False{}:
170      s

Uses (2)

Bool
String

Used by (1)

bend-toon-codec@0.1.0.0/src/num:drop_zeros