{
"predicates": [
{
"name": "::Foo",
"params": [
{
"name": "::v0",
"ty": "Bool"
},
{
"name": "::v1",
"ty": "Int"
},
{
"name": "::v2",
"ty": "B256"
},
{
"name": "::v3",
"ty": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": "Int"
}
]
}
},
{
"name": "::v4",
"ty": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": "Int"
}
]
}
}
]
}
}
]
}
],
"storage": [
{
"name": "s0",
"ty": "Bool"
},
{
"name": "s1",
"ty": "Int"
},
{
"name": "s2",
"ty": "B256"
},
{
"name": "s3",
"ty": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": "Int"
}
]
}
},
{
"name": "s4",
"ty": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": "Int"
}
]
}
}
]
}
},
{
"name": "my_map",
"ty": {
"Map": {
"ty_from": "Int",
"ty_to": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": {
"Tuple": [
{
"name": null,
"ty": "B256"
},
{
"name": null,
"ty": "Int"
}
]
}
}
]
}
}
}
},
{
"name": "my_nested_map",
"ty": {
"Map": {
"ty_from": "Int",
"ty_to": {
"Map": {
"ty_from": "B256",
"ty_to": {
"Tuple": [
{
"name": null,
"ty": "Int"
},
{
"name": null,
"ty": {
"Tuple": [
{
"name": null,
"ty": "B256"
},
{
"name": null,
"ty": "Int"
}
]
}
}
]
}
}
}
}
}
}
]
}