PackedMinMax (Fixpoint v0.8.37)
Summary
Functions
Link to this function
get_max(packed, size \\ 32)
Link to this function
get_min(packed, size \\ 32)
Link to this function
set_max(packed, max_value, size \\ 32)
Link to this function