export declare const PRational: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
    PRational: {
        numerator: [import("../../../type_system/types.js").PrimType.Int];
        denominator: [import("../../../type_system/types.js").PrimType.Int];
    };
}, import("../../../type_system/types.js").Methods>;
export declare const PConstitution: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
    PConstitution: {
        constitutionScriptHash: import("../../../type_system/types.js").StructT<{
            Just: {
                val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
    };
}, import("../../../type_system/types.js").Methods>;
export declare const PGovernanceAction: import("../../../PTypes/PStruct/pstruct.js").PStruct<{
    ParameterChange: {
        govActionId: import("../../../type_system/types.js").StructT<{
            Just: {
                val: import("../../../type_system/types.js").StructT<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>;
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
        changedParameters: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.List, [import("../../../type_system/types.js").PrimType.Pair, [import("../../../type_system/types.js").PrimType.Data], [import("../../../type_system/types.js").PrimType.Data]]], import("../../../type_system/types.js").Methods];
        constitutionScriptHash: import("../../../type_system/types.js").StructT<{
            Just: {
                val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
    };
    HardForkInitiation: {
        govActionId: import("../../../type_system/types.js").StructT<{
            Just: {
                val: import("../../../type_system/types.js").StructT<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>;
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
        nextProtocolVersion: import("../../../type_system/types.js").StructT<{
            PProtocolVersion: {
                major: [import("../../../type_system/types.js").PrimType.Int];
                minor: [import("../../../type_system/types.js").PrimType.Int];
            };
        }, import("../../../type_system/types.js").Methods>;
    };
    TreasuryWithdrawals: {
        withdrawals: [import("../../../type_system/types.js").PrimType.List, [import("../../../type_system/types.js").PrimType.Pair, import("../../../type_system/types.js").StructT<{
            PPubKeyCredential: {
                pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
            PScriptCredential: {
                valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
        }, {
            hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PPubKeyCredential: {
                    pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                PScriptCredential: {
                    valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
            }, {}>, import("../../../index.js").PByteString>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PPubKeyCredential: {
                        pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    PScriptCredential: {
                        valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PByteString>;
            };
        }>, [import("../../../type_system/types.js").PrimType.Int]]];
        constitutionScriptHash: import("../../../type_system/types.js").StructT<{
            Just: {
                val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
    };
    NoConfidence: {
        govActionId: import("../../../type_system/types.js").StructT<{
            Just: {
                val: import("../../../type_system/types.js").StructT<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>;
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
    };
    UpdateCommittee: {
        govActionId: import("../../../type_system/types.js").StructT<{
            Just: {
                val: import("../../../type_system/types.js").StructT<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>;
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
        removedMembers: [import("../../../type_system/types.js").PrimType.List, import("../../../type_system/types.js").StructT<{
            PPubKeyCredential: {
                pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
            PScriptCredential: {
                valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
        }, {
            hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PPubKeyCredential: {
                    pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                PScriptCredential: {
                    valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
            }, {}>, import("../../../index.js").PByteString>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PPubKeyCredential: {
                        pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    PScriptCredential: {
                        valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PByteString>;
            };
        }>];
        newMembers: [import("../../../type_system/types.js").PrimType.List, [import("../../../type_system/types.js").PrimType.Pair, import("../../../type_system/types.js").StructT<{
            PPubKeyCredential: {
                pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
            PScriptCredential: {
                valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
            };
        }, {
            hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PPubKeyCredential: {
                    pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
                PScriptCredential: {
                    valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                };
            }, {}>, import("../../../index.js").PByteString>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PPubKeyCredential: {
                        pkh: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    PScriptCredential: {
                        valHash: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PByteString>;
            };
        }>, [import("../../../type_system/types.js").PrimType.Int]]];
        newQuorum: import("../../../type_system/types.js").StructT<{
            PRational: {
                numerator: [import("../../../type_system/types.js").PrimType.Int];
                denominator: [import("../../../type_system/types.js").PrimType.Int];
            };
        }, import("../../../type_system/types.js").Methods>;
    };
    NewConstitution: {
        govActionId: import("../../../type_system/types.js").StructT<{
            Just: {
                val: import("../../../type_system/types.js").StructT<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>;
            };
            Nothing: {};
        }, {
            unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>;
            };
            default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                Just: {
                    val: import("../../../type_system/types.js").StructT<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>;
                };
                Nothing: {};
            }, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                PTxOutRef: {
                    id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    index: [import("../../../type_system/types.js").PrimType.Int];
                };
            }, import("../../../type_system/types.js").Methods>>>> & {
                $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    Just: {
                        val: import("../../../type_system/types.js").StructT<{
                            PTxOutRef: {
                                id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                                index: [import("../../../type_system/types.js").PrimType.Int];
                            };
                        }, import("../../../type_system/types.js").Methods>;
                    };
                    Nothing: {};
                }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                    PTxOutRef: {
                        id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        index: [import("../../../type_system/types.js").PrimType.Int];
                    };
                }, import("../../../type_system/types.js").Methods>>> & {
                    $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        PTxOutRef: {
                            id: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            index: [import("../../../type_system/types.js").PrimType.Int];
                        };
                    }, import("../../../type_system/types.js").Methods>>;
                };
            };
        }>;
        consitution: import("../../../type_system/types.js").StructT<{
            PConstitution: {
                constitutionScriptHash: import("../../../type_system/types.js").StructT<{
                    Just: {
                        val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                    };
                    Nothing: {};
                }, {
                    unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        Just: {
                            val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        };
                        Nothing: {};
                    }, {}>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                        $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                            Just: {
                                val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            };
                            Nothing: {};
                        }, {}>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
                    };
                    default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                        Just: {
                            val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                        };
                        Nothing: {};
                    }, {}>, import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>>> & {
                        $: (input: import("../../../lib/index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{
                            Just: {
                                val: [import("../../../type_system/types.js").PrimType.Alias, [import("../../../type_system/types.js").PrimType.BS], import("../../../type_system/types.js").Methods];
                            };
                            Nothing: {};
                        }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>> & {
                            $: (input: import("../../../lib/index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>) => import("../../../lib/index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../type_system/types.js").Methods>>;
                        };
                    };
                }>;
            };
        }, import("../../../type_system/types.js").Methods>;
    };
    InfoAction: {};
}, import("../../../type_system/types.js").Methods>;