def str_len_ok

bend-schema-lib@0.4.1.0 · core.bend:322

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

322def str_len_ok(+lo: Nat, +hi: Nat, +x: String) -> Bool:
323  Bool.and(Nat.is_le(lo, String.length(x)), Nat.is_le(String.length(x), hi))

Uses (6)

Used by (3)