Trait prop::DProp[−][src]

pub trait DProp: Decidable { }

Shorthand for decidable proposition.

Implementors

impl<T: Decidable> DProp for T[src]

Loading content...