Type Definition prop::path_semantics::IncLevel[−][src]

type IncLevel<A, N> = <A as LProp>::SetLevel;

Increases proposition level of A with some amount N.