Fixpoint v0.13.2

PackedMinMax (Fixpoint v0.13.2)

Link to this section Summary

Functions

get_max(packed, size \\ 32)
get_min(packed, size \\ 32)
set_max(packed, max_value, size \\ 32)
set_min(packed, min_value, size \\ 32)

Link to this section 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

set_min(packed, min_value, size \\ 32)