rollup

An Optiva concept where the parameters of subformulas contribute to the parameters of formulas that contain the subformulas.