AciValue:
    | "void"
    | "unit"
    | "int"
    | "bool"
    | "string"
    | "bits"
    | "hash"
    | "signature"
    | "address"
    | "contract_pubkey"
    | "Chain.ttl"
    | "Chain.ga_meta_tx"
    | "Chain.paying_for_tx"
    | "Chain.base_tx"
    | "AENS.pointee"
    | "AENS.name"
    | "MCL_BLS12_381.fr"
    | "MCL_BLS12_381.fp"
    | { "Set.set": readonly [AciValue] }
    | { bytes: number }
    | { list: readonly [AciValue] }
    | { map: readonly [AciValue, AciValue] }
    | { tuple: readonly AciValue[] }
    | { record: ReadonlyArray<{ name: string; type: AciValue }> }
    | { variant: ReadonlyArray<{ [key: string]: readonly AciValue[] }> }
    | { option: readonly [AciValue] }
    | { oracle: readonly [AciValue, AciValue] }
    | { oracle_query: readonly [AciValue, AciValue] }