Skip to content

@acl:defaultAdmin

Current default admin of an AccessControlDefaultAdminRules contract.

⚗️ Experimental — available at next.evmcrispr.com.

Returns: address

@acl:defaultAdmin(contract)
NameTypeDescription
contractaddressAccessControlDefaultAdminRules contract address
load acl
set $token 0x9C58BAcC331c9aa871AFD802DB6379a98e80CEdb
print @acl:defaultAdmin($token)

Read defaultAdmin() at assertion time.

load acl
set $registry 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
assert @defaultAdmin!($registry) == @me