Trait prop::path_semantics::LProp

pub trait LProp: Prop {
    type N: Clone;
    type SetLevel: LProp;
}

Path semantical proposition level.

Associated Types

type N: Clone

The level.

type SetLevel: LProp

Sets proposition level.

Loading content...

Implementors

impl LProp for False

type N = NaN

type SetLevel = Self

impl<U: 'static + Clone> LProp for LTrue<U>

type N = U

type SetLevel = LTrue<T>

Loading content...