def login.int

cswap-bend-cli@0.1.0.0 · collectrun.bend:144

import Base
import cswap-bend-cli@0.1.0.0/clock.bend as Clock

144def login.int(ps: List<&2, String>) -> Maybe<&2, String>:
145  match ps:
146    case Con{+i, t}:
147      login.pick(Clock.all_digits(i) && Nat.is_gt(String.length(i), 3n), i)
148    case Nil{}:
149      None{}