User Guide:
User API:
Developer API:
Full API:
Classes
OperatorPool
OperatorPool manages Operator creation, acquisition, release, and garbage collection.