Craig Everett
dbab49936d
All checks were successful
Sophia Tests / tests (push) Successful in 48m54s
A few references to oracles still remain, but they have been removed as a feature, at least. Reviewed-on: #985 Reviewed-by: Ulf Wiger <ulfwiger@qpq.swiss> Co-authored-by: Craig Everett <zxq9@zxq9.com> Co-committed-by: Craig Everett <zxq9@zxq9.com>
22 lines
512 B
Plaintext
22 lines
512 B
Plaintext
contract interface Remote =
|
|
entrypoint main_fun : (int) => unit
|
|
|
|
contract AddrChain =
|
|
entrypoint is_c(a : address) =
|
|
Address.is_contract(a)
|
|
|
|
// entrypoint get_c(a : address) : option(Remote) =
|
|
// Address.get_contract(a)
|
|
|
|
// entrypoint h_to_i(h : hash) : int =
|
|
// Hash.to_int(h)
|
|
|
|
// entrypoint a_to_i(a : address) : int =
|
|
// Address.to_int(a) mod 10 ^ 16
|
|
|
|
entrypoint c_creator() : address =
|
|
Contract.creator
|
|
|
|
entrypoint is_payable(a : address) : bool =
|
|
Address.is_payable(a)
|