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)