Cliops.digits_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
Lines 76-81 of cswap-bend-cli@0.1.0.0/cliops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&start_line=76&end_line=81

import Base

def digits_of(s: String) -> String:
  match s:
    case SNil{}:
      ""
    case SCon{+c, t}:
      digits.pick(Char.is_digit(c), c, digits_of(t))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_digit
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=digits.pick