Type Definition prop::Imply

type Imply<T, U> = Rc<dyn Fn(T) -> U>;

Logical IMPLY.

Trait Implementations

impl<T, U> Decidable for Imply<T, U> where
    T: Decidable,
    U: Decidable, 

fn decide() -> ExcM<Self>

Get excluded middle rule.

impl<T, U> PBinOrd for Imply<T, U>

type Left = T

The left argument.

type Right = U

The right argument.