Skip to main content

Module cmp

vstd_extra::external

Module cmp 

Source
Expand description

Specifications for the free comparison functions missing from vstd.

Functions§

_verus_external_fn_specification_10_core_32__58__58__32_cmp_32__58__58__32_min⚠
_verus_external_fn_specification_11_core_32__58__58__32_cmp_32__58__58__32_max⚠
spec_ord_max
spec_ord_min