UNPKG

@harmoniclabs/plu-ts-onchain

Version:

An embedded DSL for Cardano smart contracts creation coupled with a library for Cardano transactions, all in Typescript

530 lines 140 kB
export declare const PTxInInfo: import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PTxInInfo: { utxoRef: import("../../../index.js").StructT<{ PTxOutRef: { id: import("../../../index.js").StructT<{ PTxId: { txId: [import("../../../index.js").PrimType.BS]; }; }, import("../../../index.js").Methods>; index: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>; resolved: import("../../../index.js").StructT<{ PTxOut: { address: import("../../../index.js").StructT<{ PAddress: { credential: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; stakingCredential: import("../../../index.js").StructT<{ Just: { val: import("../../../index.js").StructT<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>; }; Nothing: {}; }, { unwrap: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ Just: { val: import("../../../index.js").StructT<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>; }; Nothing: {}; }, {}>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ Just: { val: import("../../../index.js").StructT<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>; }; Nothing: {}; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>>; }; default: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ Just: { val: import("../../../index.js").StructT<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>; }; Nothing: {}; }, {}>, import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>>>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ Just: { val: import("../../../index.js").StructT<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>; }; Nothing: {}; }, {}>>) => import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>, import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>>) => import("../../../index.js").UtilityTermOf<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PStakingHash: { _0: import("../../../index.js").StructT<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, { hash: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>, import("../../../index.js").PByteString>> & { $: (input: import("../../../index.js").PappArg<import("../../../PTypes/PStruct/pstruct.js").PStruct<{ PPubKeyCredential: { pkh: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; PScriptCredential: { valHash: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods]; }; }, {}>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PByteString>; }; }>; }; PStakingPtr: { _0: [import("../../../index.js").PrimType.Int]; _1: [import("../../../index.js").PrimType.Int]; _2: [import("../../../index.js").PrimType.Int]; }; }, import("../../../index.js").Methods>>; }; }; }>; }; }, import("../../../index.js").Methods>; value: [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.List, [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.Pair, [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods], [import("../../../index.js").PrimType.List, [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.Pair, [import("../../../index.js").PrimType.Alias, [import("../../../index.js").PrimType.BS], import("../../../index.js").Methods], [import("../../../index.js").PrimType.Int]], { tokenName: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PPair<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>, import("../../../index.js").PInt>, any>, import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>>> & { $: (someInput: import("../../../index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PPair<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>, import("../../../index.js").PInt>, any>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>>; } & import("../../../lib/std/UtilityTerms/BaseUtilityTerm.js").BaseUtilityTermExtension; quantity: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PPair<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>, import("../../../index.js").PInt>, any>, import("../../../index.js").PInt>> & { $: (someInput: import("../../../index.js").PappArg<import("../../../index.js").PAlias<import("../../../index.js").PPair<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>, import("../../../index.js").PInt>, any>>) => import("../../../index.js").UtilityTermOf<import("../../../index.js").PInt>; } & import("../../../lib/std/UtilityTerms/BaseUtilityTerm.js").BaseUtilityTermExtension; }]]], { policy: import("../../../index.js").Term<import("../../../index.js").PLam<import("../../../index.js").PAlias<import("../../../index.js").PPair<import("../../../index.js").PAlias<import("../../../index.js").PByteString, import("../../../index.js").Methods>, import("../../../index.js").PList<import("../../../index.js").PAlias<import("../../../index.js").PPair<import("../../../inde