pub fn apply_limit<V: TowerValue>(v: &V, rule: LimitRule) -> Result<V, String>Expand description
Resolve a residue-dependent value under a limit rule; a value that does not depend on the residue is its own limit under every rule. A value that depends on the residues of several generators resolves each branch’s finer dependence first: the residues of different generators are independent, so the rule over every pair of classes is the rule over the coarser generator’s classes of the rule over the finer one’s.