Annotated manager operations are wrappers used to accumulate information (especially about limits) on the operation prior to the injection.

Client_proto_fa12 implements built-in support for the FA1.2 standard. This module features functions to check whether a contract implements the standard interface and to interact with such contracts using high-level actions that model the entrypoint calls.

This helper module allows to handle partially specified limits during the injection process.