{
"storage_id": "0xa1",
"original_id": "0xa1",
"version": 1,
"modules": {
"authorization": {
"name": "authorization",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"module": "authorization",
"name": "CloneableProvenValue",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"kind": {
"Struct": {
"fields": [
{
"name": "value",
"position": 0,
"ty": {
"TypeParameter": 0
}
},
{
"name": "by",
"position": 1,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
},
{
"name": "recipient",
"position": 2,
"ty": {
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
}
]
}
}
},
{
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"module": "authorization",
"name": "Grant",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"kind": {
"Struct": {
"fields": [
{
"name": "proof",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
]
}
}
},
{
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"module": "authorization",
"name": "ProvenValue",
"abilities": [],
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"kind": {
"Struct": {
"fields": [
{
"name": "value",
"position": 0,
"ty": {
"TypeParameter": 0
}
},
{
"name": "by",
"position": 1,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
},
{
"name": "recipient",
"position": 2,
"ty": {
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
}
]
}
}
}
],
"functions": [
{
"name": "by",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
},
{
"name": "cloneable_by",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
},
{
"name": "cloneable_into_proven_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "cloneable_recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
]
},
{
"name": "cloneable_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"TypeParameter": 0
}
]
},
{
"name": "drop",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Drop"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
],
"return_types": []
},
{
"name": "grant",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "by",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "value",
"ty": {
"TypeParameter": 0
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "grant_by",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
},
{
"name": "grant_for_recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "by",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "value",
"ty": {
"TypeParameter": 0
}
},
{
"name": "recipient",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "grant_into_proven_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "grant_recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
]
},
{
"name": "grant_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "Grant"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"TypeParameter": 0
}
]
},
{
"name": "recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
]
},
{
"name": "unwrap",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
],
"return_types": [
{
"TypeParameter": 0
}
]
},
{
"name": "unwrap_as_recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
},
{
"name": "recipient",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"TypeParameter": 0
}
]
},
{
"name": "unwrap_cloneable",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
],
"return_types": [
{
"TypeParameter": 0
}
]
},
{
"name": "wrap",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "by",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "value",
"ty": {
"TypeParameter": 0
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "wrap_cloneable",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "by",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "value",
"ty": {
"TypeParameter": 0
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "wrap_cloneable_for_recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "by",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "value",
"ty": {
"TypeParameter": 0
}
},
{
"name": "recipient",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "CloneableProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "wrap_for_recipient",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "by",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "value",
"ty": {
"TypeParameter": 0
}
},
{
"name": "recipient",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "authorization",
"name": "ProvenValue"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
}
]
},
"data": {
"name": "data",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"module": "data",
"name": "NexusData",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [],
"kind": {
"Enum": {
"variants": [
{
"name": "One",
"position": 0,
"fields": [
{
"name": "value",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
]
},
{
"name": "Many",
"position": 1,
"fields": [
{
"name": "values",
"position": 0,
"ty": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
]
}
]
}
}
},
{
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"module": "data",
"name": "NexusValue",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [],
"kind": {
"Enum": {
"variants": [
{
"name": "Object",
"position": 0,
"fields": [
{
"name": "id",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
]
},
{
"name": "InlineData",
"position": 1,
"fields": [
{
"name": "bytes",
"position": 0,
"ty": {
"Vector": "U8"
}
}
]
},
{
"name": "WalrusData",
"position": 2,
"fields": [
{
"name": "blob_id",
"position": 0,
"ty": {
"Vector": "U8"
}
},
{
"name": "content_digest",
"position": 1,
"ty": {
"Vector": "U8"
}
}
]
}
]
}
}
}
],
"functions": [
{
"name": "collect_ones",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "values",
"ty": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
},
{
"name": "inline_data_bytes",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Vector": "U8"
}
]
}
}
]
},
{
"name": "inline_data_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "bytes",
"ty": {
"Vector": "U8"
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
]
},
{
"name": "into_values",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
]
},
{
"name": "is_many",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "many",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "values",
"ty": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
},
{
"name": "object_ids",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Vector": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
]
}
}
]
},
{
"name": "object_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "id",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
]
},
{
"name": "one",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "value",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
},
{
"name": "split_many",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "data",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
]
},
{
"name": "value_content_commitment",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "value",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Vector": "U8"
}
]
},
{
"name": "value_is_bounded",
"visibility": "Private",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "value",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "value_is_inline_data",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "value",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "value_is_object",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "value",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "values",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
]
},
{
"name": "values_are_data",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "values",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "values_are_object",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "values",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "values_have_one_kind",
"visibility": "Private",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "values",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "walrus_data_value",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "blob_id",
"ty": {
"Vector": "U8"
}
},
{
"name": "content_digest",
"ty": {
"Vector": "U8"
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
]
}
]
},
"event": {
"name": "event",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "event",
"name": "EventWrapper"
},
"module": "event",
"name": "EventWrapper",
"abilities": [
"Copy",
"Drop"
],
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"kind": {
"Struct": {
"fields": [
{
"name": "event",
"position": 0,
"ty": {
"TypeParameter": 0
}
}
]
}
}
}
],
"functions": [
{
"name": "emit",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Drop"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "event",
"ty": {
"TypeParameter": 0
}
}
],
"return_types": []
},
{
"name": "inner",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Copy",
"Drop"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "wrapper",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "event",
"name": "EventWrapper"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"TypeParameter": 0
}
}
}
]
}
]
},
"object_state": {
"name": "object_state",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "object_state",
"name": "Inner"
},
"module": "object_state",
"name": "Inner",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [],
"kind": {
"Struct": {
"fields": [
{
"name": "dummy_field",
"position": 0,
"ty": "Bool"
}
]
}
}
},
{
"type_name": {
"address": "0xa1",
"module": "object_state",
"name": "Witness"
},
"module": "object_state",
"name": "Witness",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [],
"kind": {
"Struct": {
"fields": [
{
"name": "dummy_field",
"position": 0,
"ty": "Bool"
}
]
}
}
}
],
"functions": [
{
"name": "add",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
},
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "witness",
"ty": {
"TypeParameter": 0
}
},
{
"name": "inner",
"ty": {
"TypeParameter": 1
}
}
],
"return_types": []
},
{
"name": "add_inner",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "inner",
"ty": {
"TypeParameter": 0
}
}
],
"return_types": []
},
{
"name": "assert_upgrade_cap",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "cap",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "package",
"name": "UpgradeCap"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": []
},
{
"name": "assert_witness",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": []
},
{
"name": "destroy",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Drop",
"Store"
],
"is_phantom": false
},
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"TypeParameter": 1
}
]
},
{
"name": "has_witness",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "inner",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"TypeParameter": 0
}
}
}
]
},
{
"name": "inner_mut",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
},
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": true,
"inner": {
"TypeParameter": 1
}
}
}
]
},
{
"name": "replace_witness",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Drop",
"Store"
],
"is_phantom": false
},
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "witness",
"ty": {
"TypeParameter": 1
}
}
],
"return_types": []
},
{
"name": "take_inner",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Store"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "id",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"TypeParameter": 0
}
]
}
]
},
"owner_cap": {
"name": "owner_cap",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"module": "owner_cap",
"name": "CloneableOwnerCap",
"abilities": [
"Store",
"Key"
],
"type_parameters": [
{
"constraints": [],
"is_phantom": true
}
],
"kind": {
"Struct": {
"fields": [
{
"name": "id",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
},
{
"name": "what_for",
"position": 1,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
},
{
"name": "inner",
"position": 2,
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "OwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
]
}
}
},
{
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "OwnerCap"
},
"module": "owner_cap",
"name": "OwnerCap",
"abilities": [
"Drop",
"Store"
],
"type_parameters": [
{
"constraints": [],
"is_phantom": true
}
],
"kind": {
"Struct": {
"fields": [
{
"name": "unique",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
]
}
}
}
],
"functions": [
{
"name": "as_ref",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "OwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
]
},
{
"name": "clone",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "cap",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
},
{
"name": "ctx",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "tx_context",
"name": "TxContext"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "clone_for_receiver",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "cap",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
},
{
"name": "receiver",
"ty": "Address"
},
{
"name": "ctx",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "tx_context",
"name": "TxContext"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": []
},
{
"name": "clone_n",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "cap",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
},
{
"name": "n",
"ty": "U64"
},
{
"name": "ctx",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "tx_context",
"name": "TxContext"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
]
},
{
"name": "destroy",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
],
"return_types": []
},
{
"name": "id",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "OwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
},
{
"name": "is_for",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
},
{
"constraints": [
"Key"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
},
{
"name": "what",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"TypeParameter": 1
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "is_for_id",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
},
{
"name": "what_id",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "new_cloneable_drop",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Drop"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "witness",
"ty": {
"TypeParameter": 0
}
},
{
"name": "what_for",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "ctx",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "tx_context",
"name": "TxContext"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "new_cloneable_key",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Key"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "object",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"TypeParameter": 0
}
}
}
},
{
"name": "its_uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "ctx",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "tx_context",
"name": "TxContext"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "new_uncloneable",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "_",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"TypeParameter": 0
}
}
}
},
{
"name": "ctx",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "tx_context",
"name": "TxContext"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "OwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
]
},
{
"name": "what_for",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [],
"is_phantom": false
}
],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "owner_cap",
"name": "CloneableOwnerCap"
},
"type_arguments": [
{
"TypeParameter": 0
}
]
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
]
},
"proof_of_uid": {
"name": "proof_of_uid",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"module": "proof_of_uid",
"name": "ProofOfUID",
"abilities": [],
"type_parameters": [],
"kind": {
"Struct": {
"fields": [
{
"name": "from_uid",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
},
{
"name": "from_type",
"position": 1,
"ty": {
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "type_name",
"name": "TypeName"
},
"type_arguments": []
}
}
]
}
}
},
{
"name": "stamps",
"position": 2,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
},
{
"Vector": "U8"
}
]
}
}
}
]
}
}
},
{
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "UIDRequirements"
},
"module": "proof_of_uid",
"name": "UIDRequirements",
"abilities": [],
"type_parameters": [],
"kind": {
"Struct": {
"fields": [
{
"name": "proof",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
},
{
"name": "remaining",
"position": 1,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_set",
"name": "VecSet"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
}
]
}
}
}
],
"functions": [
{
"name": "complete",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "UIDRequirements"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
},
{
"Vector": "U8"
}
]
}
}
]
},
{
"name": "consume",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
},
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
},
{
"Vector": "U8"
}
]
}
}
]
},
{
"name": "created_from",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
},
{
"name": "has_stamp",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "of_uid",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "has_stamp_with_data",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "of_uid",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
},
{
"name": "data",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Vector": "U8"
}
}
}
}
],
"return_types": [
"Bool"
]
},
{
"name": "into_requirements",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
},
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "remaining",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_set",
"name": "VecSet"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "UIDRequirements"
},
"type_arguments": []
}
}
]
},
{
"name": "new",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
]
},
{
"name": "new_with_type",
"visibility": "Public",
"is_entry": false,
"type_parameters": [
{
"constraints": [
"Key"
],
"is_phantom": false
}
],
"parameters": [
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "o",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"TypeParameter": 0
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
]
},
{
"name": "proof",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "UIDRequirements"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
]
},
{
"name": "read_stamp_data_of_id",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "of_uid",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Vector": "U8"
}
]
}
}
]
},
{
"name": "satisfy",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "UIDRequirements"
},
"type_arguments": []
}
}
}
}
},
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": []
},
{
"name": "stamp",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": []
},
{
"name": "stamp_with_data",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "data",
"ty": {
"Vector": "U8"
}
}
],
"return_types": []
},
{
"name": "stamps",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
},
{
"Vector": "U8"
}
]
}
}
}
}
]
},
{
"name": "stamps_len",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"U64"
]
},
{
"name": "type_name",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "option",
"name": "Option"
},
"type_arguments": [
{
"Datatype": {
"type_name": {
"address": "0x1",
"module": "type_name",
"name": "TypeName"
},
"type_arguments": []
}
}
]
}
}
]
},
{
"name": "unstamp",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": true,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "proof_of_uid",
"name": "ProofOfUID"
},
"type_arguments": []
}
}
}
}
},
{
"name": "uid",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "UID"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": []
}
]
},
"shared_object": {
"name": "shared_object",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "shared_object",
"name": "SharedObjectRef"
},
"module": "shared_object",
"name": "SharedObjectRef",
"abilities": [
"Copy",
"Drop",
"Store"
],
"type_parameters": [],
"kind": {
"Struct": {
"fields": [
{
"name": "id",
"position": 0,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
},
{
"name": "ref_mut",
"position": 1,
"ty": "Bool"
}
]
}
}
}
],
"functions": [
{
"name": "shared_object_id",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "shared_object",
"name": "SharedObjectRef"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
]
},
{
"name": "shared_object_ref_imm",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "id",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "shared_object",
"name": "SharedObjectRef"
},
"type_arguments": []
}
}
]
},
{
"name": "shared_object_ref_mut",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "id",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "object",
"name": "ID"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "shared_object",
"name": "SharedObjectRef"
},
"type_arguments": []
}
}
]
},
{
"name": "shared_object_ref_mutable",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "shared_object",
"name": "SharedObjectRef"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
"Bool"
]
}
]
},
"tagged_output": {
"name": "tagged_output",
"datatypes": [
{
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"module": "tagged_output",
"name": "TaggedOutput",
"abilities": [
"Drop"
],
"type_parameters": [],
"kind": {
"Struct": {
"fields": [
{
"name": "tag",
"position": 0,
"ty": {
"Vector": "U8"
}
},
{
"name": "named_payload",
"position": 1,
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Vector": "U8"
},
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
}
}
}
]
}
}
}
],
"functions": [
{
"name": "from_parts",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "tag",
"ty": {
"Vector": "U8"
}
},
{
"name": "named_payload",
"ty": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Vector": "U8"
},
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
]
},
{
"name": "into_parts",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Vector": "U8"
},
{
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Vector": "U8"
},
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
}
}
]
},
{
"name": "named_payload",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0x2",
"module": "vec_map",
"name": "VecMap"
},
"type_arguments": [
{
"Vector": "U8"
},
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusData"
},
"type_arguments": []
}
}
]
}
}
}
}
]
},
{
"name": "new",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "tag",
"ty": {
"Vector": "U8"
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
]
},
{
"name": "tag",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Ref": {
"mutable": false,
"inner": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
}
}
}
],
"return_types": [
{
"Ref": {
"mutable": false,
"inner": {
"Vector": "U8"
}
}
}
]
},
{
"name": "with_named_payload",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
},
{
"name": "name",
"ty": {
"Vector": "U8"
}
},
{
"name": "value",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
]
},
{
"name": "with_named_payload_many",
"visibility": "Public",
"is_entry": false,
"type_parameters": [],
"parameters": [
{
"name": "self",
"ty": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
},
{
"name": "name",
"ty": {
"Vector": "U8"
}
},
{
"name": "values",
"ty": {
"Vector": {
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "data",
"name": "NexusValue"
},
"type_arguments": []
}
}
}
}
],
"return_types": [
{
"Datatype": {
"type_name": {
"address": "0xa1",
"module": "tagged_output",
"name": "TaggedOutput"
},
"type_arguments": []
}
}
]
}
]
}
}
}