The operation with its certainly and possibly bound variables assigned, computed by dynamic programming: callers are responsible for keeping the metadata up to date when they manipulate the operation.
The operation to annotate
the same operation, with its metadata attached
The operation with its certainly and possibly bound variables assigned, computed by dynamic programming: callers are responsible for keeping the metadata up to date when they manipulate the operation.