GitBross Начало Каталог Помощ
Регистрация Вход
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0 Уики
Клон: release-v5.1
Клонове Маркери
openzeppelin-co...
/
certora
/
specs
/
methods
/
IERC721Receiver.spec

IERC721Receiver.spec 103 B
Постоянна връзка История Директен файл

123 
  1. methods {
    2. 

  2.   function _.onERC721Received(address,address,uint256,bytes) external => DISPATCHER(true);
    3. 

  3. }
    4.