Trait prop::path_semantics::LProp

source[−]
pub trait LProp: Prop {
    type N: Clone;
    type SetLevel: LProp;
}
Expand description

Path semantical proposition level.

Associated Types

The level.

Sets proposition level.

Implementors