Contract

let transfer: <p>(_: contract<p>) => (_: p) => (_: mav) => test_exec_result

let transfer_exn: <p>(_: contract<p>) => (_: p) => (_: mav) => nat

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