Module creusot_contracts::logic::ord

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.