Go backward to
Go up to
Go forward to
Resolution of a WBO on the top of the stack of a chart-record.
The procedure updates the order of the
component of the WBO, and decides whether
it is a resolved object,
is to be called,
a new TBO is to be created and passed to
or it is a monomial WBO and
is to be called.