Trait prop::Prop

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>

Get double negation rule from proof.

fn map_any<T>(self) -> Imply<T, Self>

Maps anything into itself.

Loading content...

Implementors

impl<T: 'static + Sized + Clone> Prop for T

Loading content...