Struct LeDecision 

pub struct LeDecision<T> { /* private fields */ }

A decidable ordering check wrapper.

Implementations

impl<T: PartialOrd> LeDecision<T>

pub fn new(lhs: T, rhs: T) -> Self

Create a new ≤ decision.

Trait Implementations

impl<T: Clone> Clone for LeDecision<T>

fn clone(&self) -> LeDecision<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for LeDecision<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: PartialOrd> Decidable for LeDecision<T>

type Proof = ()

The proof type when the proposition holds.

fn decide(&self) -> Decision<()>

Decide the proposition, returning the decision.

fn is_decidably_true(&self) -> bool

Shorthand: returns true iff the proposition holds.