language of solidity operation