def num_ok

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

import Base

325def num_ok(+lo: Nat, +hi: Nat, +n: Nat) -> Bool:
326  Bool.and(Nat.is_le(lo, n), Nat.is_le(n, hi))

Uses (4)