Toplevel blocks
The top-level blocks are container components responsible for compiling smart contracts, values, and types to Michelson and SmartPy.
Contract compilation
The contract compilation block contains the contract specification, comprising the following components:
storage typeinitial storageentry pointson-chain views
Contract Entrypoint
Entry points are similar to public methods of a class in Java. In this case, entry points are methods that can be called in a Tezos transaction. They accept an argument, can modify the contract storage, and can also emit operations (like calling other contracts, delegating staking power, and originating new contracts).
Value compilation
The value compilation blocks compile Value Blocks to their Michelson representations. Useful to build the argument value of an entry point, prepare values to be packed, etc.
Type compilation
The type compilation blocks compile Type Blocks to their Michelson representations. It can be used to build the type associated with a given value to be packed, etc.
