env.json

{
    "modules": [
        {
            "name": "context",
            "export": "x",
            "functions": [
                {
                    "export": "_",
                    "name": "log_from_linear_memory",
                    "args": [
                        {
                            "name": "msg_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "msg_len",
                            "type": "U32Val"
                        },
                        {
                            "name": "vals_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "vals_len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Emit a diagnostic event containing a message and sequence of `RawVal`s."
                },
                {
                    "export": "0",
                    "name": "get_invoking_contract",
                    "args": [],
                    "return": "Object",
                    "docs": "Get the contractID `Bytes` of the contract which invoked the running contract. Traps if the running contract was not invoked by a contract."
                },
                {
                    "export": "1",
                    "name": "obj_cmp",
                    "args": [
                        {
                            "name": "a",
                            "type": "RawVal"
                        },
                        {
                            "name": "b",
                            "type": "RawVal"
                        }
                    ],
                    "return": "i64",
                    "docs": "Compare two objects, or at least one object to a non-object, structurally. Returns -1 if a<b, 1 if a>b, or 0 if a==b."
                },
                {
                    "export": "2",
                    "name": "contract_event",
                    "args": [
                        {
                            "name": "topics",
                            "type": "VecObject"
                        },
                        {
                            "name": "data",
                            "type": "RawVal"
                        }
                    ],
                    "return": "Void",
                    "docs": "Records a contract event. `topics` is expected to be a `SCVec` with length <= 4 that cannot contain `Vec`, `Map`, or `Bytes` with length > 32."
                },
                {
                    "export": "3",
                    "name": "get_ledger_version",
                    "args": [],
                    "return": "U32Val",
                    "docs": "Return the protocol version of the current ledger as a u32."
                },
                {
                    "export": "4",
                    "name": "get_ledger_sequence",
                    "args": [],
                    "return": "U32Val",
                    "docs": "Return the sequence number of the current ledger as a u32."
                },
                {
                    "export": "5",
                    "name": "get_ledger_timestamp",
                    "args": [],
                    "return": "U64Val",
                    "docs": "Return the timestamp number of the current ledger as a u64."
                },
                {
                    "export": "6",
                    "name": "get_current_call_stack",
                    "args": [],
                    "return": "VecObject",
                    "docs": "Returns the full call stack from the first contract call to the current one as a vector of vectors, where the inside vector contains the contract id as Hash, and a function as a Symbol."
                },
                {
                    "export": "7",
                    "name": "fail_with_error",
                    "args": [
                        {
                            "name": "error",
                            "type": "Error"
                        }
                    ],
                    "return": "Void",
                    "docs": "Causes the currently executing contract to fail immediately with a provided error code, which must be of error-type `ScErrorType::Contract`. Does not actually return."
                },
                {
                    "export": "8",
                    "name": "get_ledger_network_id",
                    "args": [],
                    "return": "BytesObject",
                    "docs": "Return the network id (sha256 hash of network passphrase) of the current ledger as `Bytes`. The value is always 32 bytes in length."
                },
                {
                    "export": "9",
                    "name": "get_current_contract_address",
                    "args": [],
                    "return": "AddressObject",
                    "docs": "Get the Address object for the current contract."
                }
            ]
        },
        {
            "name": "int",
            "export": "i",
            "functions": [
                {
                    "export": "_",
                    "name": "obj_from_u64",
                    "args": [
                        {
                            "name": "v",
                            "type": "u64"
                        }
                    ],
                    "return": "U64Object",
                    "docs": "Convert a u64 to an object containing a u64."
                },
                {
                    "export": "0",
                    "name": "obj_to_u64",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U64Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Convert an object containing a i64 to a u64."
                },
                {
                    "export": "1",
                    "name": "obj_from_i64",
                    "args": [
                        {
                            "name": "v",
                            "type": "i64"
                        }
                    ],
                    "return": "I64Object",
                    "docs": "Convert an i64 to an object containing an i64."
                },
                {
                    "export": "2",
                    "name": "obj_to_i64",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I64Object"
                        }
                    ],
                    "return": "i64",
                    "docs": "Convert an object containing an i64 to an i64."
                },
                {
                    "export": "5",
                    "name": "obj_from_u128_pieces",
                    "args": [
                        {
                            "name": "hi",
                            "type": "u64"
                        },
                        {
                            "name": "lo",
                            "type": "u64"
                        }
                    ],
                    "return": "U128Object",
                    "docs": "Convert the high and low 64-bit words of a u128 to an object containing a u128."
                },
                {
                    "export": "6",
                    "name": "obj_to_u128_lo64",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U128Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract the low 64 bits from an object containing a u128."
                },
                {
                    "export": "7",
                    "name": "obj_to_u128_hi64",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U128Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract the high 64 bits from an object containing a u128."
                },
                {
                    "export": "8",
                    "name": "obj_from_i128_pieces",
                    "args": [
                        {
                            "name": "hi",
                            "type": "i64"
                        },
                        {
                            "name": "lo",
                            "type": "u64"
                        }
                    ],
                    "return": "I128Object",
                    "docs": "Convert the high and low 64-bit words of an i128 to an object containing an i128."
                },
                {
                    "export": "9",
                    "name": "obj_to_i128_lo64",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I128Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract the low 64 bits from an object containing an i128."
                },
                {
                    "export": "a",
                    "name": "obj_to_i128_hi64",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I128Object"
                        }
                    ],
                    "return": "i64",
                    "docs": "Extract the high 64 bits from an object containing an i128."
                },
                {
                    "export": "b",
                    "name": "obj_from_u256_pieces",
                    "args": [
                        {
                            "name": "hi_hi",
                            "type": "u64"
                        },
                        {
                            "name": "hi_lo",
                            "type": "u64"
                        },
                        {
                            "name": "lo_hi",
                            "type": "u64"
                        },
                        {
                            "name": "lo_lo",
                            "type": "u64"
                        }
                    ],
                    "return": "U256Object",
                    "docs": "Convert the four 64-bit words of an u256 (big-endian) to an object containing an u256."
                },
                {
                    "export": "c",
                    "name": "obj_to_u256_hi_hi",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract the highest 64-bits (bits 192-255) from an object containing an u256."
                },
                {
                    "export": "d",
                    "name": "obj_to_u256_hi_lo",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract bits 128-191 from an object containing an u256."
                },
                {
                    "export": "e",
                    "name": "obj_to_u256_lo_hi",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract bits 64-127 from an object containing an u256."
                },
                {
                    "export": "f",
                    "name": "obj_to_u256_lo_lo",
                    "args": [
                        {
                            "name": "obj",
                            "type": "U256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract the lowest 64-bits (bits 0-63) from an object containing an u256."
                },                
                {
                    "export": "g",
                    "name": "obj_from_i256_pieces",
                    "args": [
                        {
                            "name": "hi_hi",
                            "type": "i64"
                        },
                        {
                            "name": "hi_lo",
                            "type": "u64"
                        },
                        {
                            "name": "lo_hi",
                            "type": "u64"
                        },
                        {
                            "name": "lo_lo",
                            "type": "u64"
                        }
                    ],
                    "return": "I256Object",
                    "docs": "Convert the four 64-bit words of an i256 (big-endian) to an object containing an i256."
                },
                {
                    "export": "h",
                    "name": "obj_to_i256_hi_hi",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I256Object"
                        }
                    ],
                    "return": "i64",
                    "docs": "Extract the highest 64-bits (bits 192-255) from an object containing an i256."
                },
                {
                    "export": "i",
                    "name": "obj_to_i256_hi_lo",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract bits 128-191 from an object containing an i256."
                },
                {
                    "export": "j",
                    "name": "obj_to_i256_lo_hi",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract bits 64-127 from an object containing an i256."
                },
                {
                    "export": "k",
                    "name": "obj_to_i256_lo_lo",
                    "args": [
                        {
                            "name": "obj",
                            "type": "I256Object"
                        }
                    ],
                    "return": "u64",
                    "docs": "Extract the lowest 64-bits (bits 0-63) from an object containing an i256."
                }
            ]
        },
        {
            "name": "map",
            "export": "m",
            "functions": [
                {
                    "export": "_",
                    "name": "map_new",
                    "args": [],
                    "return": "MapObject",
                    "docs": "Create an empty new map."
                },
                {
                    "export": "0",
                    "name": "map_put",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        },
                        {
                            "name": "k",
                            "type": "RawVal"
                        },
                        {
                            "name": "v",
                            "type": "RawVal"
                        }
                    ],
                    "return": "MapObject",
                    "docs": "Insert a key/value mapping into an existing map, and return the map object handle. If the map already has a mapping for the given key, the previous value is overwritten."
                },
                {
                    "export": "1",
                    "name": "map_get",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        },
                        {
                            "name": "k",
                            "type": "RawVal"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Get the value for a key from a map. Traps if key is not found."
                },
                {
                    "export": "2",
                    "name": "map_del",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        },
                        {
                            "name": "k",
                            "type": "RawVal"
                        }
                    ],
                    "return": "MapObject",
                    "docs": "Remove a key/value mapping from a map if it exists, traps if doesn't."
                },
                {
                    "export": "3",
                    "name": "map_len",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Get the size of a map."
                },
                {
                    "export": "4",
                    "name": "map_has",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        },
                        {
                            "name": "k",
                            "type": "RawVal"
                        }
                    ],
                    "return": "Bool",
                    "docs": "Test for the presence of a key in a map. Returns Bool."
                },
                {
                    "export": "5",
                    "name": "map_prev_key",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        },
                        {
                            "name": "k",
                            "type": "RawVal"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Given a key, find the first key less than itself in the map's sorted order. If such a key does not exist, return an ScError."
                },
                {
                    "export": "6",
                    "name": "map_next_key",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        },
                        {
                            "name": "k",
                            "type": "RawVal"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Given a key, find the first key greater than itself in the map's sorted order. If such a key does not exist, return an ScError."
                },
                {
                    "export": "7",
                    "name": "map_min_key",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Find the minimum key from a map. If the map is empty, return an ScError."
                },
                {
                    "export": "8",
                    "name": "map_max_key",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Find the maximum key from a map. If the map is empty, return an ScError."
                },
                {
                    "export": "9",
                    "name": "map_keys",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Return a new vector containing all the keys in a map. The new vector is ordered in the original map's key-sorted order."
                },
                {
                    "export": "A",
                    "name": "map_values",
                    "args": [
                        {
                            "name": "m",
                            "type": "MapObject"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Return a new vector containing all the values in a map. The new vector is ordered in the original map's key-sorted order."
                },
                {
                    "export": "B",
                    "name": "map_new_from_linear_memory",
                    "args": [
                        {
                            "name": "keys_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "vals_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "MapObject",
                    "docs": "Return a new map initialized from a set of input slices given by linear-memory addresses and lengths."
                },
                {
                    "export": "C",
                    "name": "map_unpack_to_linear_memory",
                    "args": [
                        {
                            "name": "map",
                            "type": "MapObject"
                        },
                        {
                            "name": "keys_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "vals_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Copy the RawVal values of a map, as described by set of input keys, into an array at a given linear-memory address."
                }
            ]
        },
        {
            "name": "vec",
            "export": "v",
            "functions": [
                {
                    "export": "_",
                    "name": "vec_new",
                    "args": [
                        {
                            "name": "c",
                            "type": "RawVal"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Creates a new vector with an optional capacity hint `c`. If `c` is `Void`, no hint is assumed and the new vector is empty. Otherwise, `c` is parsed as an `u32` that represents the initial capacity of the new vector."
                },
                {
                    "export": "0",
                    "name": "vec_put",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Update the value at index `i` in the vector. Return the new vector. Trap if the index is out of bounds."
                },
                {
                    "export": "1",
                    "name": "vec_get",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Returns the element at index `i` of the vector. Traps if the index is out of bound."
                },
                {
                    "export": "2",
                    "name": "vec_del",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Delete an element in a vector at index `i`, shifting all elements after it to the left. Return the new vector. Traps if the index is out of bound."
                },
                {
                    "export": "3",
                    "name": "vec_len",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Returns length of the vector."
                },
                {
                    "export": "4",
                    "name": "vec_push_front",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Push a value to the front of a vector."
                },
                {
                    "export": "5",
                    "name": "vec_pop_front",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Removes the first element from the vector and returns the new vector. Traps if original vector is empty."
                },
                {
                    "export": "6",
                    "name": "vec_push_back",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Appends an element to the back of the vector."
                },
                {
                    "export": "7",
                    "name": "vec_pop_back",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Removes the last element from the vector and returns the new vector. Traps if original vector is empty."
                },
                {
                    "export": "8",
                    "name": "vec_front",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Return the first element in the vector. Traps if the vector is empty"
                },
                {
                    "export": "9",
                    "name": "vec_back",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Return the last element in the vector. Traps if the vector is empty"
                },
                {
                    "export": "A",
                    "name": "vec_insert",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Inserts an element at index `i` within the vector, shifting all elements after it to the right. Traps if the index is out of bound"
                },
                {
                    "export": "B",
                    "name": "vec_append",
                    "args": [
                        {
                            "name": "v1",
                            "type": "VecObject"
                        },
                        {
                            "name": "v2",
                            "type": "VecObject"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Clone the vector `v1`, then moves all the elements of vector `v2` into it. Return the new vector. Traps if number of elements in the vector overflows a u32."
                },
                {
                    "export": "C",
                    "name": "vec_slice",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "start",
                            "type": "U32Val"
                        },
                        {
                            "name": "end",
                            "type": "U32Val"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Copy the elements from `start` index until `end` index, exclusive, in the vector and create a new vector from it. Return the new vector. Traps if the index is out of bound."
                },
                {
                    "export": "D",
                    "name": "vec_first_index_of",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Get the index of the first occurrence of a given element in the vector. Returns the u32 index of the value if it's there. Otherwise, it returns `Void`."
                },
                {
                    "export": "E",
                    "name": "vec_last_index_of",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Get the index of the last occurrence of a given element in the vector. Returns the u32 index of the value if it's there. Otherwise, it returns `Void`."
                },
                {
                    "export": "F",
                    "name": "vec_binary_search",
                    "args": [
                        {
                            "name": "v",
                            "type": "VecObject"
                        },
                        {
                            "name": "x",
                            "type": "RawVal"
                        }
                    ],
                    "return": "u64",
                    "docs": "Binary search a sorted vector for a given element. If it exists, the high-32 bits of the return value is 0x0001 and the low-32 bits contain the u32 index of the element. If it does not exist, the high-32 bits of the return value is 0x0000 and the low-32 bits contain the u32 index at which the element would need to be inserted into the vector to maintain sorted order."
                },
                {
                    "export": "G",
                    "name": "vec_new_from_linear_memory",
                    "args": [
                        {
                            "name": "vals_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Return a new vec initialized from an input slice of RawVals given by a linear-memory address and length."
                },
                {
                    "export": "H",
                    "name": "vec_unpack_to_linear_memory",
                    "args": [
                        {
                            "name": "vec",
                            "type": "VecObject"
                        },
                        {
                            "name": "vals_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Copy the RawVals of a vec into an array at a given linear-memory address."
                }
            ]
        },
        {
            "name": "ledger",
            "export": "l",
            "functions": [
                {
                    "export": "_",
                    "name": "put_contract_data",
                    "args": [
                        {
                            "name": "k",
                            "type": "RawVal"
                        },
                        {
                            "name": "v",
                            "type": "RawVal"
                        },
                        {
                            "name": "t",
                            "type": "StorageType"
                        },
                        {
                            "name": "f",
                            "type": "RawVal"
                        }
                    ],
                    "return": "Void",
                    "docs": "If `f` is `Void`, then there will be no changes to flags for an existing entry, and none will be set if this is a new entry. Otherwise, `f` is parsed as a `u32`. If the value is 0, then all flags are cleared. If it's not 0, then flags will be set to the passed in value."
                },
                {
                    "export": "0",
                    "name": "has_contract_data",
                    "args": [
                        {
                            "name": "k",
                            "type": "RawVal"
                        },
                        {
                            "name": "t",
                            "type": "StorageType"
                        }
                    ],
                    "return": "Bool"
                },
                {
                    "export": "1",
                    "name": "get_contract_data",
                    "args": [
                        {
                            "name": "k",
                            "type": "RawVal"
                        },
                        {
                            "name": "t",
                            "type": "StorageType"
                        }
                    ],
                    "return": "RawVal"
                },
                {
                    "export": "2",
                    "name": "del_contract_data",
                    "args": [
                        {
                            "name": "k",
                            "type": "RawVal"
                        },
                        {
                            "name": "t",
                            "type": "StorageType"
                        }
                    ],
                    "return": "Void"
                },
                {
                    "export": "3",
                    "name": "create_contract",
                    "args": [
                        {
                            "name": "deployer",
                            "type": "AddressObject"
                        },
                        {
                            "name": "wasm_hash",
                            "type": "BytesObject"
                        },
                        {
                            "name": "salt",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "AddressObject",
                    "docs": "Creates the contract instance on behalf of `deployer`. `deployer` must authorize this call via Soroban auth framework, i.e. this calls `deployer.require_auth` with respective arguments. `wasm_hash` must be a hash of the contract code that has already been uploaded on this network. `salt` is used to create a unique contract id. Returns the address of the created contract."
                },
                {
                    "export": "4",
                    "name": "create_asset_contract",
                    "args": [
                        {
                            "name": "serialized_asset",
                            "type": "BytesObject"
                        }                        
                    ],
                    "return": "AddressObject",
                    "docs": "Creates the instance of Stellar Asset contract corresponding to the provided asset. `serialized_asset` is `stellar::Asset` XDR serialized to bytes format. Returns the address of the created contract."
                },
                {
                    "export": "5",
                    "name": "upload_wasm",
                    "args": [
                        {
                            "name": "wasm",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Uploads provided `wasm` bytecode to the network and returns its identifier (SHA-256 hash). No-op in case if the same Wasm object already exists."
                },
                {
                    "export": "6",
                    "name": "update_current_contract_wasm",
                    "args": [
                        {
                            "name": "hash",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "Void",
                    "docs": "Replaces the executable of the current contract with the provided Wasm code identified by a hash. Wasm entry corresponding to the hash has to already be present in the ledger. The update happens only after the current contract invocation has successfully finished, so this can be safely called in the middle of a function."
                },
                {
                    "export": "7",
                    "name": "bump_contract_data",
                    "args": [
                        {
                            "name": "k",
                            "type": "RawVal"
                        },
                        {
                            "name": "t",
                            "type": "StorageType"
                        },
                        {
                            "name": "min",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Bumps the expiration ledger of the key specified so the entry will live for `min` ledgers from now. If the current expiration ledger is already large enough to live at least `min` more ledgers, then nothing happens."
                }
            ]
        },
        {
            "name": "call",
            "export": "d",
            "functions": [
                {
                    "export": "_",
                    "name": "call",
                    "args": [
                        {
                            "name": "contract",
                            "type": "AddressObject"
                        },
                        {
                            "name": "func",
                            "type": "Symbol"
                        },
                        {
                            "name": "args",
                            "type": "VecObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Calls a function in another contract with arguments contained in vector `args`. If the call is successful, returns the result of the called function. Traps otherwise."
                },
                {
                    "export": "0",
                    "name": "try_call",
                    "args": [
                        {
                            "name": "contract",
                            "type": "AddressObject"
                        },
                        {
                            "name": "func",
                            "type": "Symbol"
                        },
                        {
                            "name": "args",
                            "type": "VecObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Calls a function in another contract with arguments contained in vector `args`, returning either the result of the called function or an ScError if the called function failed."
                }
            ]
        },
        {
            "name": "buf",
            "export": "b",
            "functions": [
                {
                    "export": "_",
                    "name": "serialize_to_bytes",
                    "args": [
                        {
                            "name": "v",
                            "type": "RawVal"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Serializes an (SC)Val into XDR opaque `Bytes` object."
                },
                {
                    "export": "0",
                    "name": "deserialize_from_bytes",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Deserialize a `Bytes` object to get back the (SC)Val."
                },
                {
                    "export": "1",
                    "name": "bytes_copy_to_linear_memory",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "b_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Copies a slice of bytes from a `Bytes` object specified at offset `b_pos` with length `len` into the linear memory at position `lm_pos`. Traps if either the `Bytes` object or the linear memory doesn't have enough bytes."
                },
                {
                    "export": "2",
                    "name": "bytes_copy_from_linear_memory",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "b_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Copies a segment of the linear memory specified at position `lm_pos` with length `len`, into a `Bytes` object at offset `b_pos`. The `Bytes` object may grow in size to accommodate the new bytes. Traps if the linear memory doesn't have enough bytes."
                },
                {
                    "export": "3",
                    "name": "bytes_new_from_linear_memory",
                    "args": [
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Constructs a new `Bytes` object initialized with bytes copied from a linear memory slice specified at position `lm_pos` with length `len`."
                },
                {
                    "export": "4",
                    "name": "bytes_new",
                    "args": [],
                    "return": "BytesObject",
                    "docs": "Create an empty new `Bytes` object."
                },
                {
                    "export": "5",
                    "name": "bytes_put",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        },
                        {
                            "name": "u",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Update the value at index `i` in the `Bytes` object. Return the new `Bytes`. Trap if the index is out of bounds."
                },
                {
                    "export": "6",
                    "name": "bytes_get",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Returns the element at index `i` of the `Bytes` object. Traps if the index is out of bound."
                },
                {
                    "export": "7",
                    "name": "bytes_del",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Delete an element in a `Bytes` object at index `i`, shifting all elements after it to the left. Return the new `Bytes`. Traps if the index is out of bound."
                },
                {
                    "export": "8",
                    "name": "bytes_len",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Returns length of the `Bytes` object."
                },
                {
                    "export": "9",
                    "name": "bytes_push",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "u",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Appends an element to the back of the `Bytes` object."
                },
                {
                    "export": "A",
                    "name": "bytes_pop",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Removes the last element from the `Bytes` object and returns the new `Bytes`. Traps if original `Bytes` is empty."
                },
                {
                    "export": "B",
                    "name": "bytes_front",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Return the first element in the `Bytes` object. Traps if the `Bytes` is empty"
                },
                {
                    "export": "C",
                    "name": "bytes_back",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Return the last element in the `Bytes` object. Traps if the `Bytes` is empty"
                },
                {
                    "export": "D",
                    "name": "bytes_insert",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "i",
                            "type": "U32Val"
                        },
                        {
                            "name": "u",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Inserts an element at index `i` within the `Bytes` object, shifting all elements after it to the right. Traps if the index is out of bound"
                },
                {
                    "export": "E",
                    "name": "bytes_append",
                    "args": [
                        {
                            "name": "b1",
                            "type": "BytesObject"
                        },
                        {
                            "name": "b2",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Clone the `Bytes` object `b1`, then moves all the elements of `Bytes` object `b2` into it. Return the new `Bytes`. Traps if its length overflows a u32."
                },
                {
                    "export": "F",
                    "name": "bytes_slice",
                    "args": [
                        {
                            "name": "b",
                            "type": "BytesObject"
                        },
                        {
                            "name": "start",
                            "type": "U32Val"
                        },
                        {
                            "name": "end",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Copies the elements from `start` index until `end` index, exclusive, in the `Bytes` object and creates a new `Bytes` from it. Returns the new `Bytes`. Traps if the index is out of bound."
                },
                {
                    "export": "G",
                    "name": "string_copy_to_linear_memory",
                    "args": [
                        {
                            "name": "s",
                            "type": "StringObject"
                        },
                        {
                            "name": "s_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Copies a slice of bytes from a `String` object specified at offset `s_pos` with length `len` into the linear memory at position `lm_pos`. Traps if either the `String` object or the linear memory doesn't have enough bytes."
                },
                {
                    "export": "H",
                    "name": "symbol_copy_to_linear_memory",
                    "args": [
                        {
                            "name": "s",
                            "type": "SymbolObject"
                        },
                        {
                            "name": "s_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "Void",
                    "docs": "Copies a slice of bytes from a `Symbol` object specified at offset `s_pos` with length `len` into the linear memory at position `lm_pos`. Traps if either the `String` object or the linear memory doesn't have enough bytes."
                },
                {
                    "export": "I",
                    "name": "string_new_from_linear_memory",
                    "args": [
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "StringObject",
                    "docs": "Constructs a new `String` object initialized with bytes copied from a linear memory slice specified at position `lm_pos` with length `len`."
                },
                {
                    "export": "J",
                    "name": "symbol_new_from_linear_memory",
                    "args": [
                        {
                            "name": "lm_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "SymbolObject",
                    "docs": "Constructs a new `Symbol` object initialized with bytes copied from a linear memory slice specified at position `lm_pos` with length `len`."
                },
                {
                    "export": "K",
                    "name": "string_len",
                    "args": [
                        {
                            "name": "s",
                            "type": "StringObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Returns length of the `String` object."
                },
                {
                    "export": "L",
                    "name": "symbol_len",
                    "args": [
                        {
                            "name": "s",
                            "type": "SymbolObject"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Returns length of the `Symbol` object."
                },
                {
                    "export": "M",
                    "name": "symbol_index_in_linear_memory",
                    "args": [
                        {
                            "name": "sym",
                            "type": "Symbol"
                        },
                        {
                            "name": "slices_pos",
                            "type": "U32Val"
                        },
                        {
                            "name": "len",
                            "type": "U32Val"
                        }
                    ],
                    "return": "U32Val",
                    "docs": "Return the index of a Symbol in an array of linear-memory byte-slices, or trap if not found."
                }

            ]
        },
        {
            "name": "crypto",
            "export": "c",
            "functions": [
                {
                    "export": "_",
                    "name": "compute_hash_sha256",
                    "args": [
                        {
                            "name": "x",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "BytesObject"
                },
                {
                    "export": "0",
                    "name": "verify_sig_ed25519",
                    "args": [
                        {
                            "name": "k",
                            "type": "BytesObject"
                        },
                        {
                            "name": "x",
                            "type": "BytesObject"
                        },
                        {
                            "name": "s",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "Void"
                },
                {
                    "export": "1",
                    "name": "compute_hash_keccak256",
                    "args": [
                        {
                            "name": "x",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Returns the keccak256 hash of given input bytes."
                },
                {
                    "export": "2",
                    "name": "recover_key_ecdsa_secp256k1",
                    "args": [
                        {
                            "name": "msg_digest",
                            "type": "BytesObject"
                        },
                        {
                            "name": "signature",
                            "type": "BytesObject"
                        },
                        {
                            "name": "recovery_id",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Recovers the SEC-1-encoded ECDSA secp256k1 public key that produced a given 64-byte signature over a given 32-byte message digest, for a given recovery_id byte."
                }
            ]
        },
        {
            "name": "address",
            "export": "a",
            "functions": [
                {
                    "export": "_",
                    "name": "require_auth_for_args",
                    "args": [
                        {
                            "name": "address",
                            "type": "AddressObject"
                        },
                        {
                            "name": "args",
                            "type": "VecObject"
                        }
                    ],
                    "return": "Void",
                    "docs": "Checks if the address has authorized the invocation of the current contract function with the provided arguments. Traps if the invocation hasn't been authorized."
                },
                {
                    "export": "0",
                    "name": "require_auth",
                    "args": [
                        {
                            "name": "address",
                            "type": "AddressObject"
                        }
                    ],
                    "return": "Void",
                    "docs": "Checks if the address has authorized the invocation of the current contract function with all the arguments of the invocation. Traps if the invocation hasn't been authorized."
                },
                {
                    "export": "1",
                    "name": "account_public_key_to_address",
                    "args": [
                        {
                            "name": "pk_bytes",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "AddressObject",
                    "docs": "Converts a provided 32-byte Stellar account public key to the corresponding address. This is only useful in the context of cross-chain interoperability. Prefer directly using the Address objects whenever possible."
                },
                {
                    "export": "2",
                    "name": "contract_id_to_address",
                    "args": [
                        {
                            "name": "contract_id_bytes",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "AddressObject",
                    "docs": "Converts a provided 32-byte contract identifier to a corresponding Address object."
                },
                {
                    "export": "3",
                    "name": "address_to_account_public_key",
                    "args": [
                        {
                            "name": "address",
                            "type": "AddressObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Returns the 32-byte public key of the Stellar account corresponding to the provided Address object. If the Address doesn't belong to an account, returns RawVal corresponding to the unit type (`()`)."
                },
                {
                    "export": "4",
                    "name": "address_to_contract_id",
                    "args": [
                        {
                            "name": "address",
                            "type": "AddressObject"
                        }
                    ],
                    "return": "RawVal",
                    "docs": "Returns the 32-byte contract identifier corresponding to the provided Address object. If the Address doesn't belong to an account, returns RawVal corresponding to the unit type (`()`)."
                },
                {
                    "export": "5",
                    "name": "authorize_as_curr_contract",
                    "args": [
                        {
                            "name": "auth_entires",
                            "type": "VecObject"
                        }
                    ],
                    "return": "Void",
                    "docs": "Authorizes sub-contract calls for the next contract call on behalf of the current contract. Every entry in the argument vector corresponds to `InvokerContractAuthEntry` contract type that authorizes a tree of `require_auth` calls on behalf of the current contract. The entries must not contain any authorizations for the direct contract call, i.e. if current contract needs to call contract function F1 that calls function F2 both of which require auth, only F2 should be present in `auth_entries`."
                }           
            ]
        },
        {
            "name": "test",
            "export": "t",
            "functions": [
                {
                    "export": "_",
                    "name": "dummy0",
                    "args": [],
                    "return": "RawVal",
                    "docs": "A dummy function taking 0 arguments and performs no-op. This function is for test purpose only, for measuring the roundtrip cost of invoking a host function, i.e. host->Vm->host."
                }
            ]
        },
        {
            "name": "prng",
            "export": "p",
            "functions": [
                {
                    "export": "_",
                    "name": "prng_reseed",
                    "args": [
                        {
                            "name": "seed",
                            "type": "BytesObject"
                        }
                    ],
                    "return": "Void",
                    "docs": "Reseed the frame-local PRNG with a given BytesObject, which should be 32 bytes long."
                },
                {
                    "export": "0",
                    "name": "prng_bytes_new",
                    "args": [
                        {
                            "name": "length",
                            "type": "U32Val"
                        }
                    ],
                    "return": "BytesObject",
                    "docs": "Construct a new BytesObject of the given length filled with bytes drawn from the frame-local PRNG."
                },
                {
                    "export": "1",
                    "name": "prng_u64_in_inclusive_range",
                    "args": [
                        {
                            "name": "lo",
                            "type": "u64"
                        },
                        {
                            "name": "hi",
                            "type": "u64"
                        }
                    ],
                    "return": "u64",
                    "docs": "Return a u64 uniformly sampled from the inclusive range [lo,hi] by the frame-local PRNG."
                },
                {
                    "export": "2",
                    "name": "prng_vec_shuffle",
                    "args": [
                        {
                            "name": "vec",
                            "type": "VecObject"
                        }
                    ],
                    "return": "VecObject",
                    "docs": "Return a (Fisher-Yates) shuffled clone of a given vector, using the frame-local PRNG."
                }
            ]
        }
    ]
}