Trait prop::path_semantics::ELProp

source · [−]
pub trait ELProp: LProp + EProp { }
Expand description

Shorthand for existential proposition with path semantical level.

Implementors