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