Compile parses a sequence of Ivy contracts from the supplied reader and produces Contract objects containing the compiled bytecode and other analysis.

Clause is a compiled contract clause.

ClauseReq describes a payment requirement of a clause (one of the things after the "requires" keyword).

Contract is a compiled Ivy contract.

ContractArg is an argument with which to instantiate a contract as a program.

HashCall describes a call to a hash function.

Param is a contract or clause parameter.

ValueInfo describes how a blockchain value is used in a contract clause.