Trait prop::path_semantics::DLProp

pub trait DLProp: LProp + DProp { }

Shorthand for decidable proposition with path semantical level.

Implementors

impl<T: LProp + DProp> DLProp for T

Loading content...