Skip to content

OperationBuilderOp

OperationBuilderOp = AddOp | ReviseOp | RetractOp

Operation queued by OperationBuilder.