Skip to main content

Module ord

creusot_std::logic

Module ord 

Source
Expand description

Definition for using orderings in Pearlite.

Macros§

partial_ord_laws_impl
A macro to easily implements the various #[logic(law)]s of PartialOrdLogic.

Traits§

OrdLogic
Types that implement this trait must have a total order (Ord trait in Rust).
PartialOrdLogic
Trait for comparison operations (<, >, <=, >=) in Pearlite.