creusot_contracts::logic

Module ord

Help

Expand description

Definition for using orderings in pearlite.

Macros§

ord_laws_impl: A macro to easily implements the various #[law]s of OrdLogic.

Traits§

OrdLogic: Trait for comparison operations (<, >, <=, >=) in pearlite.