Trait prop::quantify::Pred

pub trait Pred: 'static + Clone {
    type Out<A: Prop>: Prop;
}

Implemented by predicates.

Associated Types

type Out<A: Prop>: Prop

The output proposition.

Implementors

impl<B: Pred, C: Pred> Pred for PImply<B, C>

type Out<A: Prop> = Imply<App<B, A>, App<C, A>>

impl<X: Prop> Pred for Singleton<X>

type Out<A: Prop> = X