Trait prop::path_semantics::DLProp

source · [−]
pub trait DLProp: LProp + DProp { }
Expand description

Shorthand for decidable proposition with path semantical level.

Implementors