Operator: S-exhausted

Warning: NOT COMPLETE

Operator Overview:

Signals the completion of the s-constructor to the create-operator space.

Operator Proposal:

Proposed whenever the space is s-construct space.

Operator Application:

Returns ^annotation construction-done to the walled-off top state of the create-operator space. This leads to the termination of the s-constructor.

Operator Reconsider:

Upon application.

Back to the operator hierarchy.

This page written by Han Ming Ong (hanming@cs.cmu.edu)