Trait prop::Prop

source · [−]
pub trait Prop: 'static + Sized + Clone {
    fn double_neg(self) -> Dneg<Self> { ... }

    fn map_any<T>(self) -> Imply<T, Self> { ... }
}
Expand description

A proposition that might be decidable or undecidable.

Provided methods

Get double negation rule from proof.

Maps anything into itself.

Implementors