8 lines
172 B
Python
8 lines
172 B
Python
methods {
|
|
owner() returns (address) envfree
|
|
pendingOwner() returns (address) envfree
|
|
transferOwnership(address)
|
|
acceptOwnership()
|
|
renounceOwnership()
|
|
}
|