Go backward to `desing/resolvem` Go up to Procedures Go forward to `desing/resolveone` |
Resolution of a monomial WBO on the top of the stack of a chart-record. The input-output specification is the same as of `desing/resolvem`. This procedure is used when the configuration variable skewcover is true.