Core.len_ok: def of bend-schema-lib@0.4.1.0
Import: import bend-schema-lib@0.4.1.0/core.bend as Core
Lines 352-359 of bend-schema-lib@0.4.1.0/core.bend: https://jend.leeeet.dev/read.txt?path=bend-schema-lib@0.4.1.0/core.bend&start_line=352&end_line=359

import Base

# r is a string whose length is in the bounds: what conforms reads at an
# SStrLen, and what len_err refuses exactly when it fails.
def len_ok(+lo: Nat, +hi: Nat, r: Raw) -> Bool:
  match r:
    case RStr{+x}:
      str_len_ok(lo, hi, x)
    case _:
      False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bend-schema-lib@0.4.1.0/core.bend&name=str_len_ok