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];
    }