def nat_in

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

import Base

373def nat_in(+lo: Nat, +hi: Nat, r: Raw) -> Maybe<&2, Err>:
374  match r:
375    case RNum{+n}:
376      in_err(num_ok(lo, hi, n), NotIn{lo, hi})
377    case _:
378      None{}