def bounded

import stelliferous@0.0.2.0/math_checked_word.bend as MathCheckedWord

import Base

12def bounded(+value: Nat,limit: Nat) -> Maybe<&2,Nat>:
13  bounded_result(Nat.is_le(value,limit),value)

Uses (4)