Skip to main content

Module cmp

vstd_extra::external

Module cmp 

Source
Expand description

Specifications for the free comparison functions missing from vstd.

Functionsยง

spec_ord_max
spec_ord_min