pub trait LProp: Prop { type N: Clone; type SetLevel: LProp; }
Path semantical proposition level.
The level.
Sets proposition level.