Trait prop::DProp

source ·
pub trait DProp: Decidable { }
Expand description

Shorthand for decidable proposition.

Implementors§

source§

impl<T: Decidable> DProp for T