Type Definition prop::Imply

pub 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<A: EProp, B: EProp> Existential for Imply<A, B>

fn e() -> E<Self>

Get existential rule.

impl<A, B, T> POrd<T> for Imply<A, B>where A: POrd<T>, B: POrd<T>,