I hereby claim:
- I am gabrielrondon on github.
 - I am grondon (https://keybase.io/grondon) on keybase.
 - I have a public key ASDGuIK8Jgrh2mBEsDzcU1EexU8H0ng9XChJeMiDSv9ymgo
 
To claim this, I am signing this object:
| {"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]} | 
| When | |
| [Case | |
| (Deposit | |
| (Role "pool") | |
| (Role "bettor") | |
| (Token "" "") | |
| (Constant 1) | |
| ) | |
| (If | |
| TrueObs | 
| When | |
| [Case | |
| (Deposit | |
| ?party | |
| ?from_party | |
| ?token ?value | |
| ) | |
| ?contract] | |
| 0 ?contract | 
| // SPDX-License-Identifier: GPL-3.0 | |
| pragma solidity >=0.7.0 <0.8.0; | |
| /** | |
| * @title Storage | |
| * @dev Store & retrieve value in a variable | |
| */ | |
| contract Storage { | 
| // SPDX-License-Identifier: GPL-3.0 | |
| pragma solidity >=0.7.0 <0.8.0; | |
| /** | |
| * @title Storage | |
| * @dev Store & retrieve value in a variable | |
| */ | |
| contract Storage { | 
I hereby claim:
To claim this, I am signing this object: