Signature

extern fn bounded_int_constrain(value: T) -> Result implicits(RangeCheck) nopanic;