def too.long

yaml-for-bend@0.1.1.0 · compose.bend:309

import Base
import yaml-for-bend@0.1.1.0/parse.bend as P

309# Whether a scalar is a number in another base longer than +limit+.
310def too.long(+s: Schema, t: P.Tag, +text: String, +plain: Bool, +limit: Nat) -> Bool:
311  when(Bool, longer(text, limit), u => Bool.and(as.number(t, plain), in.base(s, text)), u => False{})