Struct prop::path_semantics::POrdProof
source[−]pub struct POrdProof<T, U>(_);
Expand description
Proof of path semantical order.
Implementations
Transivity of path semantical order.
Transform left argument by equivalence.
Transform right argument by equivalence.
Transform left argument by implication.
Transform right argument by implication.
Trait Implementations
Auto Trait Implementations
impl<T, U> RefUnwindSafe for POrdProof<T, U> where
T: RefUnwindSafe,
U: RefUnwindSafe,
impl<T, U> UnwindSafe for POrdProof<T, U> where
T: UnwindSafe,
U: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more