Module ord
creusot_
contracts
0.8.0
Module ord
Module Items
Macros
Traits
In creusot_
contracts::
logic
creusot_contracts
::
logic
Module
ord
Copy item path
Source
Expand description
Definition for using orderings in pearlite.
Macros
§
ord_
laws_
impl
A macro to easily implements the various
#[logic(law)]
s of
OrdLogic
.
Traits
§
OrdLogic
Trait for comparison operations (
<
,
>
,
<=
,
>=
) in pearlite.