contract

transfer: <p>(_: contract<p>, param: p, amount: tez) => test_exec_result

Bake a transaction by sending an amount of tez with a parameter from the current source to a contract. Returns the amount of gas consumed by the execution of the contract.

transfer_exn: <p>(_: contract<p>, param: p, amount: tez) => nat

Bakes a transaction by sending an amount of tez with a parameter from the current source to a contract. Returns the amount of gas consumed by the execution of the contract. Similar to transfer, but fails when anything goes wrong.

to_typed_address: <p, s>(_: contract<p>) => typed_address<p, s>