def exp.int

cswap-bend-cli@0.1.0.0 · usage/cred.bend:78

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

78def exp.int(+ps: List<&2, String>, +now: U32) -> Bool:
79  match ps:
80    case Con{+i, t}:
81      exp.check(Clock.all_digits(i) && Bool.not(String.is_empty(i)) && Nat.is_le(String.length(i), 13n), i, now)
82    case Nil{}:
83      False{}