Trait prop::path_semantics::LProp

pub trait LProp: Prop {
    type N: Clone;
    type SetLevel<T: 'static + Clone>: LProp;
}

Path semantical proposition level.

Required Associated Types

type N: Clone

The level.

type SetLevel<T: 'static + Clone>: LProp

Sets proposition level.

Implementors

impl LProp for False

type N = NaN

type SetLevel<T: 'static + Clone> = False

impl<N: 'static + Clone> LProp for Type<N>

type N = N

type SetLevel<T: 'static + Clone> = Type<T>

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

type N = U

type SetLevel<T: 'static + Clone> = LTrue<T>

impl<U: LProp> LProp for Q<U, U>

type N = <U as LProp>::N

type SetLevel<T: 'static + Clone> = ((Rc<dyn Fn(<U as LProp>::SetLevel<T>) -> <U as LProp>::SetLevel<T>>, Rc<dyn Fn(<U as LProp>::SetLevel<T>) -> <U as LProp>::SetLevel<T>>), (Qubit<S<Z>, <U as LProp>::SetLevel<T>>, Qubit<S<Z>, <U as LProp>::SetLevel<T>>))