The standard library range_check package implements checks that a given int/unt value will fit in a 8 or 16 bits.
The range_check package implements an anonymous in-line api.
The range_check package source code is in src/lib/std/2d/range-check.pkg.
The above information is manually maintained and may contain errors.
api {
valid8 : Int -> Bool;
valid_word8 : Unt -> Bool;
valid_signed8 : Int -> Bool;
valid16 : Int -> Bool;
valid_word16 : Unt -> Bool;
valid_signed16 : Int -> Bool;};