Fixpoint
v0.10.1
Pages
Modules
Search documentation of Fixpoint
Settings
PackedMinMax
(Fixpoint v0.10.1)
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)
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)