def len.ok.pick

bend-toon-codec@0.1.0.0 · src/hdr.bend:136

import Base

136def len.ok.pick(+empty: Bool, +zero: Bool, +lead0: Bool, +ds: String) -> Bool:
137  match empty zero lead0:
138    case True{} _ _:
139      False{}
140    case False{} True{} _:
141      True{}
142    case False{} False{} True{}:
143      False{}
144    case False{} False{} False{}:
145      Nat.is_le(String.length(ds), 9n)