pub trait DLProp: LProp + DProp { }Expand description
Shorthand for decidable proposition with path semantical level.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".
pub trait DLProp: LProp + DProp { }Shorthand for decidable proposition with path semantical level.
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".