ELProp

Trait ELProp 

Source
pub trait ELProp: LProp + EProp { }
Expand description

Shorthand for existential proposition with path semantical level.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

impl<T: LProp + EProp> ELProp for T