Type Definition prop::path_semantics::IncLevel

source · [−]
pub type IncLevel<A, N> = <A as LProp>::SetLevel<<(<A as LProp>::N, N) as Add>::Out>;
Expand description

Increases proposition level of A with some amount N.