def count_ok

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

import Base

412def count_ok(+lo: Nat, +hi: Nat, +r: Raw) -> Bool:
413  Bool.and(Nat.is_le(lo, raw_len(r)), Nat.is_le(raw_len(r), hi))

Uses (6)