def int_ok

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

import Base

341def int_ok(+lo: Int, +hi: Int, +i: Int) -> Bool:
342  Bool.and(int_le(lo, i), int_le(i, hi))

Uses (4)