Trait prop::path_semantics::POrd

pub trait POrd<T> { }

Path semantical order.

This is implemented by types to define an order such that symbols can not be used inconsistently.

Uses a marker feature to allow overlapping impls.

Implementors

impl<A, B, T> POrd<T> for And<A, B> where
    A: POrd<T>,
    B: POrd<T>, 

impl<A, B, T> POrd<T> for Imply<A, B> where
    A: POrd<T>,
    B: POrd<T>, 

impl<A, B, T> POrd<T> for Or<A, B> where
    A: POrd<T>,
    B: POrd<T>, 

impl<T, U> POrd<U> for T where
    T: LProp,
    U: LProp,
    T::N: Lt<U::N>,