ErgoTree Specification
Descriptions for the operations can be found in ErgoTree Specification
To check what IR nodes are implemented check out ergotree-ir README.