transfer: <vt>(_: proxy_address<vt;>, info: [[vt, nat], address]) => test_exec_result
originate: <vt, whole_s, vp>(ticket_info: [vt, nat], mk_storage: ticket<vt> => whole_s), contract: ([vp, whole_s] => [list<operation>, whole_s])) => typed_address<vp, whole_s> [[vt, nat], address]) => test_exec_result
get_storage: <p,s,s2>(_: typed_address<p,s>) => s2