LanguagetestnextcontractVersion: 1.5.0contractlet transfer: <p>(_: contract<p>) => (_: p) => (_: tez) => test_exec_resultlet transfer_exn: <p>(_: contract<p>) => (_: p) => (_: tez) => natlet to_typed_address: <p, s>(_: contract<p>) => typed_address<p, s>