~/jendhub

def int.cand

cswap-bend-cli@0.1.0.0 · setwrite.bend:31

import cswap-bend-cli@0.1.0.0/setwrite.bend as Setwrite
import Base
import cswap-bend-cli@0.1.0.0/settings.bend as Settings

31# int(): an optional sign and digits only.
32def int.cand(+t: String) -> Maybe<&2, Settings.Dec>:
33  int.pick(Settings.all_digits(strip_sign(t)) && Bool.not(String.is_empty(strip_sign(t))), t)

Uses (9)

Used by (1)