A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
>
?
@
\
^
|
-
_
All

Index - V

valentinePV	PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
validateOpts	PlutusIR.Compiler.Types
validateParamValue
1 (Function)	Cardano.Constitution.Validator.Data.Common, Cardano.Constitution.Data.Validator
2 (Function)	Cardano.Constitution.Validator.Common, Cardano.Constitution.Validator
ValidationError	Certifier
ValidatorBlueprint	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorCompiled	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorDatum	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorDescription	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorParameters	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorRedeemer	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
validatorTitle	PlutusTx.Blueprint.Validator, PlutusTx.Blueprint
Value
1 (Type/Class)	PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
2 (Type/Class)	PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
3 (Data Constructor)	PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3
4 (Data Constructor)	PlutusLedgerApi.V1.Data.Value, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
ValueOf
1 (Type/Class)	Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor)	Universe.Core, Universe, PlutusCore.Default.Universe, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
valueOf
1 (Function)	PlutusLedgerApi.V1.Value, PlutusLedgerApi.V1
2 (Function)	PlutusLedgerApi.V1.Data.Value
valuePaidTo
1 (Function)	PlutusLedgerApi.V1.Data.Contexts
2 (Function)	PlutusLedgerApi.V2.Data.Contexts
3 (Function)	PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
4 (Function)	PlutusLedgerApi.V2.Contexts
5 (Function)	PlutusLedgerApi.V3.Contexts
6 (Function)	PlutusLedgerApi.V3.Data.Contexts
valueProduced
1 (Function)	PlutusLedgerApi.V1.Data.Contexts
2 (Function)	PlutusLedgerApi.V2.Data.Contexts
3 (Function)	PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
4 (Function)	PlutusLedgerApi.V2.Contexts
5 (Function)	PlutusLedgerApi.V3.Contexts
6 (Function)	PlutusLedgerApi.V3.Data.Contexts
valueSpent
1 (Function)	PlutusLedgerApi.V1.Data.Contexts
2 (Function)	PlutusLedgerApi.V2.Data.Contexts
3 (Function)	PlutusLedgerApi.V1.Contexts, PlutusLedgerApi.V1
4 (Function)	PlutusLedgerApi.V2.Contexts
5 (Function)	PlutusLedgerApi.V3.Contexts
6 (Function)	PlutusLedgerApi.V3.Data.Contexts
valueToLists
1 (Function)	PlutusLedgerApi.Test.V1.Data.Value
2 (Function)	PlutusLedgerApi.Test.V1.Value
Var
1 (Data Constructor)	PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Data Constructor)	PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
3 (Data Constructor)	UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
var
1 (Function)	Transform.Inline.Spec
2 (Function)	PlutusIR.MkPir, PlutusCore.MkPlc
var0	UntypedPlutusCore.Test.DeBruijn.Bad
VarDecl
1 (Type/Class)	PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
2 (Data Constructor)	PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, PlutusIR.MkPir, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.MkPlc, PlutusCore.Builtin.Debug
varDeclAnn	PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varDeclName	PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
varDeclNameString	PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
varDeclSize	PlutusIR.Analysis.Size, PlutusCore.Size
varDeclSubtypes	PlutusIR.Core.Plated, PlutusIR.Core, PlutusCore.Core.Plated, PlutusCore.Core, PlutusCore.Builtin.Debug
varDeclType	PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
VarG	PlutusCore.Generators.NEAT.Term
Variable	PlutusIR.Analysis.Dependencies
variant	PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
VarInfo	PlutusIR.Analysis.VarInfo
varInfoArity	PlutusIR.Analysis.VarInfo
varInfoStrictness	PlutusIR.Analysis.VarInfo
varRhs	PlutusIR.Transform.Inline.Utils
VarsInfo
1 (Type/Class)	PlutusIR.Analysis.VarInfo
2 (Data Constructor)	PlutusIR.Analysis.VarInfo
varStrictness	PlutusIR.Transform.Inline.Utils
varTm	Raw
varTy	Raw
varType	PlutusCore.Parser.Type, PlutusCore.Parser
VarTypes	PlutusCore.TypeCheck.Internal
vasilPV	PlutusLedgerApi.Common.ProtocolVersions, PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common
VBuiltin	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
vcatHard	Prettyprinter.Custom
VCon	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VConstr	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
VDelay	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
vectorOf	PlutusCore.Generators.QuickCheck.GenTm, PlutusCore.Generators.QuickCheck
Verbose
1 (Data Constructor)	PlutusTx.Compiler.Types
2 (Data Constructor)	PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
VerboseMode	PlutusLedgerApi.Common.Eval, PlutusLedgerApi.Common, PlutusLedgerApi.V1, PlutusLedgerApi.V2, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V1, PlutusLedgerApi.Data.V2, PlutusLedgerApi.Data.V3
Verbosity	PlutusTx.Compiler.Types
VerifyEcdsaSecp256k1Signature	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifyEcdsaSecp256k1Signature
1 (Function)	PlutusTx.Builtins.Internal
2 (Function)	PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)	PlutusCore.Crypto.Secp256k1
VerifyEcdsaSecp256k1Signature'cpu'arguments
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEcdsaSecp256k1Signature'memory'arguments
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEd25519Signature	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifyEd25519Signature
1 (Function)	PlutusTx.Builtins.Internal
2 (Function)	PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)	PlutusCore.Crypto.Ed25519
VerifyEd25519Signature'cpu'arguments'intercept
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEd25519Signature'cpu'arguments'slope
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifyEd25519Signature'memory'arguments
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifySchnorrSecp256k1Signature	PlutusCore.Default.Builtins, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
verifySchnorrSecp256k1Signature
1 (Function)	PlutusTx.Builtins.Internal
2 (Function)	PlutusTx.Builtins, PlutusTx.Prelude
3 (Function)	PlutusCore.Crypto.Secp256k1
VerifySchnorrSecp256k1Signature'cpu'arguments'intercept
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifySchnorrSecp256k1Signature'cpu'arguments'slope
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
VerifySchnorrSecp256k1Signature'memory'arguments
1 (Data Constructor)	PlutusLedgerApi.V1.ParamName, PlutusLedgerApi.V1, PlutusLedgerApi.Data.V1
2 (Data Constructor)	PlutusLedgerApi.V2.ParamName, PlutusLedgerApi.V2, PlutusLedgerApi.Data.V2
3 (Data Constructor)	PlutusLedgerApi.V3.ParamName, PlutusLedgerApi.V3, PlutusLedgerApi.Data.V3
Version
1 (Type/Class)	PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
2 (Data Constructor)	PlutusLedgerApi.Common.Versions, PlutusLedgerApi.Common, PlutusIR.Core.Type, PlutusIR.Core, PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
version
1 (Function)	Paths_plutus_metatheory
2 (Function)	PlutusCore.Parser.ParserCommon, PlutusCore.Parser
versionMajor	PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
versionMinor	PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
versionPatch	PlutusCore.Version, PlutusCore.Core.Type, PlutusCore.Core, PlutusCore.Builtin.Debug
view	PlutusPrelude
VLamAbs	UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.CommonAPI, UntypedPlutusCore.Evaluation.Machine.Cek, UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal, UntypedPlutusCore.Evaluation.Machine.SteppableCek
void	PlutusPrelude
voidIsNotSupportedError	PlutusTx.ErrorCodes
Vote
1 (Type/Class)	PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Type/Class)	PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
VoteNo
1 (Data Constructor)	PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)	PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
Voter
1 (Type/Class)	PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Type/Class)	PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
VoteYes
1 (Data Constructor)	PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)	PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
Voting
1 (Data Constructor)	PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)	PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
VotingScript
1 (Data Constructor)	PlutusLedgerApi.V3.Data.Contexts, PlutusLedgerApi.Data.V3
2 (Data Constructor)	PlutusLedgerApi.V3.Contexts, PlutusLedgerApi.V3
vTerm
1 (Function)	PlutusIR.Subst
2 (Function)	PlutusCore.Subst
3 (Function)	UntypedPlutusCore.Subst, UntypedPlutusCore