Trait prop::Prop [−][src]
pub trait Prop: 'static + Sized + Clone { fn double_neg(self) -> Dneg<Self> { ... } fn map_any<T>(self) -> Imply<T, Self> { ... } }
A proposition that might be decidable or undecidable.
Provided methods
fn double_neg(self) -> Dneg<Self>
[src]
Get double negation rule from proof.
fn map_any<T>(self) -> Imply<T, Self>
[src]
Maps anything into itself.