Trait DecidableRel 

pub trait DecidableRel<A> {
    // Required method
    fn decide_rel(&self, a: &A, b: &A) -> Decision<()>;

    // Provided method
    fn holds(&self, a: &A, b: &A) -> bool { ... }
}

A decidable binary relation R : A → A → Prop.

Required Methods

fn decide_rel(&self, a: &A, b: &A) -> Decision<()>

Decide whether R(a, b) holds.

Provided Methods

fn holds(&self, a: &A, b: &A) -> bool

Check whether R(a, b) holds.

Implementors