Command: EnumSchema<{
    $Intent: ObjectSchema<{
        data: RecordSchema<StringSchema<string>, UnknownSchema<unknown>, {}>;
        inputs: RecordSchema<StringSchema<string>, UnionSchema<(BaseSchema<{
            GasCoin: ...;
        } | {
            Input: ...;
            type?: ...;
        } | {
            Result: ...;
        } | {
            NestedResult: ...;
        }, {
            $kind: ...;
            GasCoin: ...;
        } | {
            $kind: ...;
            Input: ...;
            type?: ...;
        } | {
            $kind: ...;
            Input: ...;
            type?: ...;
        } | {
            $kind: ...;
            Result: ...;
        } | {
            $kind: ...;
            NestedResult: ...;
        }> | ArraySchema<BaseSchema<(...) | (...) | (...) | (...), (...) | (...) | (...) | (...) | (...)>, ((...) | (...) | (...) | (...) | (...))[]>)[], {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        } | ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: (...) | (...);
        } | {
            $kind: "Input";
            Input: number;
            type?: (...) | (...);
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [(...), (...)];
        })[]>, {}>;
        name: StringSchema<string>;
    }, undefined, {
        data: {};
        inputs: {};
        name: string;
    }>;
    MakeMoveVec: ObjectSchema<{
        elements: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
        type: NullableSchema<StringSchema<string>, undefined, null | string>;
    }, undefined, {
        elements: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
        type: null | string;
    }>;
    MergeCoins: ObjectSchema<{
        destination: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
        sources: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
    }, undefined, {
        destination: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
        sources: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
    }>;
    MoveCall: ObjectSchema<{
        _argumentTypes: OptionalSchema<NullableSchema<ArraySchema<ObjectSchema<{
            body: BaseSchema<OpenMoveTypeSignatureBody>;
            ref: NullableSchema<UnionSchema<(...), (...)>, undefined, (...) | (...) | (...)>;
        }, undefined, {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }>, {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[]>, undefined, null | {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[]>, undefined, undefined | null | {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[]>;
        arguments: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
        function: StringSchema<string>;
        module: StringSchema<string>;
        package: SchemaWithTransform<StringSchema<string>, string>;
        typeArguments: ArraySchema<StringSchema<string>, string[]>;
    }, undefined, {
        _argumentTypes?: null | {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[];
        arguments: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
        function: string;
        module: string;
        package: string;
        typeArguments: string[];
    }>;
    Publish: ObjectSchema<{
        dependencies: ArraySchema<SchemaWithTransform<StringSchema<string>, string>, string[]>;
        modules: ArraySchema<StringSchema<string>, string[]>;
    }, undefined, {
        dependencies: string[];
        modules: string[];
    }>;
    SplitCoins: ObjectSchema<{
        amounts: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
        coin: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
    }, undefined, {
        amounts: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
        coin: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
    }>;
    TransferObjects: ObjectSchema<{
        address: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
        objects: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
    }, undefined, {
        address: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
        objects: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
    }>;
    Upgrade: ObjectSchema<{
        dependencies: ArraySchema<SchemaWithTransform<StringSchema<string>, string>, string[]>;
        modules: ArraySchema<StringSchema<string>, string[]>;
        package: SchemaWithTransform<StringSchema<string>, string>;
        ticket: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
    }, undefined, {
        dependencies: string[];
        modules: string[];
        package: string;
        ticket: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
    }>;
}> = ...

Type declaration

  • $Intent: ObjectSchema<{
        data: RecordSchema<StringSchema<string>, UnknownSchema<unknown>, {}>;
        inputs: RecordSchema<StringSchema<string>, UnionSchema<(BaseSchema<{
            GasCoin: ...;
        } | {
            Input: ...;
            type?: ...;
        } | {
            Result: ...;
        } | {
            NestedResult: ...;
        }, {
            $kind: ...;
            GasCoin: ...;
        } | {
            $kind: ...;
            Input: ...;
            type?: ...;
        } | {
            $kind: ...;
            Input: ...;
            type?: ...;
        } | {
            $kind: ...;
            Result: ...;
        } | {
            $kind: ...;
            NestedResult: ...;
        }> | ArraySchema<BaseSchema<(...) | (...) | (...) | (...), (...) | (...) | (...) | (...) | (...)>, ((...) | (...) | (...) | (...) | (...))[]>)[], {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        } | ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: (...) | (...);
        } | {
            $kind: "Input";
            Input: number;
            type?: (...) | (...);
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [(...), (...)];
        })[]>, {}>;
        name: StringSchema<string>;
    }, undefined, {
        data: {};
        inputs: {};
        name: string;
    }>
  • MakeMoveVec: ObjectSchema<{
        elements: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
        type: NullableSchema<StringSchema<string>, undefined, null | string>;
    }, undefined, {
        elements: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
        type: null | string;
    }>
  • MergeCoins: ObjectSchema<{
        destination: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
        sources: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
    }, undefined, {
        destination: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
        sources: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
    }>
  • MoveCall: ObjectSchema<{
        _argumentTypes: OptionalSchema<NullableSchema<ArraySchema<ObjectSchema<{
            body: BaseSchema<OpenMoveTypeSignatureBody>;
            ref: NullableSchema<UnionSchema<(...), (...)>, undefined, (...) | (...) | (...)>;
        }, undefined, {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }>, {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[]>, undefined, null | {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[]>, undefined, undefined | null | {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[]>;
        arguments: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
        function: StringSchema<string>;
        module: StringSchema<string>;
        package: SchemaWithTransform<StringSchema<string>, string>;
        typeArguments: ArraySchema<StringSchema<string>, string[]>;
    }, undefined, {
        _argumentTypes?: null | {
            body: OpenMoveTypeSignatureBody;
            ref: null | "&" | "&mut";
        }[];
        arguments: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
        function: string;
        module: string;
        package: string;
        typeArguments: string[];
    }>
  • Publish: ObjectSchema<{
        dependencies: ArraySchema<SchemaWithTransform<StringSchema<string>, string>, string[]>;
        modules: ArraySchema<StringSchema<string>, string[]>;
    }, undefined, {
        dependencies: string[];
        modules: string[];
    }>
  • SplitCoins: ObjectSchema<{
        amounts: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
        coin: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
    }, undefined, {
        amounts: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
        coin: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
    }>
  • TransferObjects: ObjectSchema<{
        address: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
        objects: ArraySchema<BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>, ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[]>;
    }, undefined, {
        address: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
        objects: ({
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        })[];
    }>
  • Upgrade: ObjectSchema<{
        dependencies: ArraySchema<SchemaWithTransform<StringSchema<string>, string>, string[]>;
        modules: ArraySchema<StringSchema<string>, string[]>;
        package: SchemaWithTransform<StringSchema<string>, string>;
        ticket: BaseSchema<{
            GasCoin: true;
        } | {
            Input: number;
            type?: "object" | "pure";
        } | {
            Result: number;
        } | {
            NestedResult: [number, number];
        }, {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        }>;
    }, undefined, {
        dependencies: string[];
        modules: string[];
        package: string;
        ticket: {
            $kind: "GasCoin";
            GasCoin: true;
        } | {
            $kind: "Input";
            Input: number;
            type?: "pure";
        } | {
            $kind: "Input";
            Input: number;
            type?: "object";
        } | {
            $kind: "Result";
            Result: number;
        } | {
            $kind: "NestedResult";
            NestedResult: [number, number];
        };
    }>