TCollOptionCollByte

SAvlTree

THEN

ElseIfBranch IfBranch

TQ

Tag

TaggedAvlTree

TaggedBigInt

TaggedBoolean

TaggedBox

TaggedByte

TaggedByteArray

TaggedGroupElement

TaggedInt

TaggedLong

TaggedShort

TaggedSigmaProp

TaggedVariable

TaggedVariableCode

TaggedVariableNode

TaggedVariableSerializer

Terms

TestBigInt

TestCostModel

TestGroupElement

TestSigmaDslBuilder

TestValue

TestnetNetworkPrefix

Th

ThenIfBranch

ThisType

ThresholdConjecture

Thunk

ThunkCompanion

ThunkConst

ThunkData

ThunkDef

ThunkDefCode

ThunkElem

ThunkForce

ThunkForceCode

ThunkScope

ThunkStack

ThunkType

Thunks

TmplBody

ToBigIntMethod

ToBitsMethod

ToByte

ToByteMethod

ToBytesMethod

ToIntMethod

ToLongMethod

ToShortMethod

ToString

Token

TokenId

ErgoBox ContractSyntax

TokensInfo

TokensRegId

TrailingComma

TransactionCandidate

TransactionContext

TransactionIdBytesSize

ErgoLikeTransaction

Transcript

SigmaProtocolFunctions

TranscriptMessage

basics

Transformer

Base utxo

Transforming

staged

TransformingSigmaBuilder

TraversableOps

TreeBuilding

TreeDataSize

TreeLookup

TreeLookupInfo

Triple

TripleChars

TripleDeclaration

TripleTail

TripleTypeCode

TrivialProp

TrivialPropFalseCode

TrivialPropTrueCode

TrueCode

TrueLeaf

TrueProp

ErgoScriptPredef TrivialProp

TrueSigmaProp

TryOps

Tup

Tuple

TupleCode

TupleColl

TupleData

TupleDeclaration

TupleOps2

TupleOps3

TupleOps4

TupleOps5

TupleSerializer

TupleType

TupleTypeCode

Tuples

TwoArgumentOperationCompanion

sigmastate

TwoArgumentsOperation

sigmastate

TwoArgumentsSerializer

serialization

TxHasOutputDeclaration

TxOutputDeclaration

Type

TypeArg

TypeArgList

TypeArgs

TypeBounds

TypeCode

SType STypeApply STypeVar

TypeCodes

TypeConstraint2

TypeConstraintCheck

TypeDesc

TypeExpr

TypeFmt

TypeId

TypeOrBindPattern

TypePat

TypePattern

TypeSerializer

Typeclass

Typed

TyperException

Types

t0

tA

ArrayType OptionType ThunkType BaseElemLiftable NestedCollOps PairCollOps TestValue

tArg

CSizeFunc CSizeFunc CSizeFuncCtor

tB

PairCollOps

tD

SFunc

tDom

FuncType SFunc SizeFuncType

tEnv

SizeFuncType

tFst

PairType SizePairType

tIV

SCollection

tItem

CReplColl CViewColl Coll CollOverArray CollType PairOfCols ReplCollType SizeCollType SizeOptionType

tK

tL

tLeft

tNum

tOV

SCollection MapCollection

tOVColl

SCollection

tPredicate

SCollection

tR

Downcast SFunc SOption Upcast PairOfCols

tRange

FuncType SFunc SizeFuncType

tRes

CSizeFunc CSizeFunc CSizeFuncCtor

tRight

EitherType

tSnd

PairType SizePairType

tT

Downcast If SBox SContext SGlobal SOption SimpleRelation SubstConstants Upcast

tV

SCollection

tVal

tail

ListOps

take

CReplColl CViewColl Coll CollOverArray Coll PairOfCols CollAdapter CollConstMethods CollMethods PairCollAdapter ReplCollAdapter

then

Core

thenp

IfThenElseLazy

third

If Quadruple TreeLookup

thirdInfo

QuadrupleSerializer

this

Core

thisArg

thisInfo

OptionGetOrElseSerializer SigmaPropBytesSerializer ExtractRegisterAsSerializer FoldSerializer MapCollectionSerializer SliceSerializer

throwInvocationException

MethodCalls

throwValidationException

thunk

thunkCont

thunkCost

thunkElement

thunkRType

thunkStack

thunkSym

thunk_create

thunk_force

thunk_map

thunk_map1

times

ByteIsExactIntegral IntIsExactIntegral LongIsExactIntegral ShortIsExactIntegral ExactNumeric ByteIsExactNumeric IntIsExactNumeric LongIsExactNumeric ShortIsExactNumeric BigIntIsExactIntegral BigIntIsExactNumeric BigIntIsIntegral BigIntegerIsIntegral

timestamp

CHeader CPreHeader HeaderCoster PreHeaderCoster Header PreHeader Header PreHeader HeaderAdapter HeaderConstMethods PreHeaderAdapter PreHeaderConstMethods

timestampMethod

SHeader SPreHeader

to256BitValueExact

BigIntegerOps

toAbs

ByteOps IntOps BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toAnyValue

SigmaBooleanOps Extensions

toArray

ProductOps CReplColl CViewColl Coll CollOverArray PairOfCols

toAvlTreeData

CostingSigmaDslBuilder

toBigInt

ByteExt IntExt

toBigInteger

SigmaDslBuilder TestSigmaDslBuilder

toBits

CInt Int ByteOpsForSigma IntOpsForSigma LongOpsForSigma ShortOpsForSigma BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toBox

ErgoBoxCandidate

toByte

BooleanOps Boolean CBoolean CInt Int BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toByteArray

GF2_192 GF2_192_Poly

toByteExact

IntOps LongOps ShortOps

toBytes

ByteBufferOps CInt Int ByteOpsForSigma IntOpsForSigma LongOpsForSigma ShortOpsForSigma FiatShamirTree SigSerializer SigmaSerializer SigmaByteWriter BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toCandidate

ErgoBox

toColl

ADKeyArrayOps ADKeyValueArrayOps ArrayOps EvalIterableOps OptionOps

toDoc

SigmaPrinter

toDouble

ExactIntegral ExactNumeric NumericOpsCls BigIntIsIntegral BigIntegerIsIntegral

toDslTuple

Evaluation

toECPoint

TestSigmaDslBuilder

toEither

TryOps

toErgoBox

CostingSigmaDslBuilder

toExp

Base

toExtra

OpCodes

toFloat

ExactIntegral ExactNumeric NumericOpsCls BigIntIsIntegral BigIntegerIsIntegral

toImmutableMap

HashMapOps

toInt

ExactIntegral ExactNumeric RepBooleanOps NumericOpsCls ByteOps Byte CByte BigIntIsIntegral BigIntegerIsIntegral BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toIntExact

LongOps

toLazyElem

TypeDescs

toList

Nullable

toLong

ExactIntegral ExactNumeric NumericOpsCls ByteOps BigIntIsIntegral BigIntegerIsIntegral BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toLongArray

toMap

toOption

toProposition

toRep

toSeqFmt

toShort

ByteOps BigInt BigInt TestBigInt BigIntAdapter BigIntConstMethods BigIntMethods

toShortExact

IntOps LongOps

toSigmaBoolean

CostingSigmaDslBuilder

toSigmaContext

ErgoLikeContext InterpreterContext

toSigmaProp

BoolValueOps SigmaBooleanOps

toSigned

UnsignedErgoLikeTransaction

toString

GF2_192 GF2_192_Poly DataInput ErgoAddressEncoder ErgoBox RegisterId ErgoBoxCandidate ErgoLikeContext ErgoLikeTransactionTemplate Input P2PKAddress Pay2SAddress Pay2SHAddress Liftable Node SingleRef Lazy MethodCall MutableLazy Overloaded1 Overloaded2 Overloaded3 Overloaded4 Overloaded5 Overloaded6 Overloaded7 TypeDesc Lambda ThunkDef ApplyBinOp ApplyBinOpLazy ApplyUnOp BinOp UnOp ProgramGraph MapTransformer ArithOp SCollectionType SFunc SNumericType SOption STuple STypeVar ConstantNode ValueCompanion CSigmaProp ProverResult STypeParam NamedFunction CasesScope DataScope ForScope OptionScope OptionalScope SerScope WhenScope BitsFmt BooleanFmt ByteFmt IntFmt LongFmt MaxBitsFmt SeqFmt ShortFmt TypeFmt UByteFmt UIntFmt ULongFmt UShortFmt UVlqFmt ValueFmt ZigZagFmt ZigZagVlqFmt OptionGet CReplColl Coll CollCompanionCtor CollBuilderCompanionCtor PairCollCompanionCtor ReplCollCompanionCtor CCostedBuilderCompanionCtor CCostedCollCompanionCtor CCostedFuncCompanionCtor CCostedPairCompanionCtor CCostedPrimCompanionCtor CSizeCollCompanionCtor CSizeFuncCompanionCtor CSizeOptionCompanionCtor CSizePairCompanionCtor CSizePrimCompanionCtor CCostedOptionCompanionCtor CostedCompanionCtor CostedBuilderCompanionCtor CostedCollCompanionCtor CostedFuncCompanionCtor CostedOptionCompanionCtor CostedPairCompanionCtor CostedPrimCompanionCtor IntPlusMonoidCompanionCtor LongPlusMonoidCompanionCtor MonoidBuilderInstCompanionCtor MonoidCompanionCtor MonoidBuilderCompanionCtor SizeCompanionCtor SizeCollCompanionCtor SizeFuncCompanionCtor SizeOptionCompanionCtor SizePairCompanionCtor SizePrimCompanionCtor Box TestGroupElement TestValue SizeAnyValueCompanionCtor SizeBoxCompanionCtor SizeBuilderCompanionCtor SizeContextCompanionCtor SizeSigmaPropCompanionCtor AnyValueCompanionCtor AvlTreeCompanionCtor BigIntCompanionCtor BoxCompanionCtor ContextCompanionCtor CostModelCompanionCtor GroupElementCompanionCtor HeaderCompanionCtor PreHeaderCompanionCtor SigmaContractCompanionCtor SigmaDslBuilderCompanionCtor SigmaPropCompanionCtor OptionWrapSpecCompanionCtor RTypeWrapSpecCompanionCtor SpecialPredefWrapSpecCompanionCtor WrapSpecBaseCompanionCtor WOptionCompanionCtor WRTypeCompanionCtor WSpecialPredefCompanionCtor

toStringRep

RepUniversalOps

toStringWithDefinition

Ref SingleRef

toTermString

SCollectionType SFunc SOption STuple SType STypeVar

toTestBox

toTreeData

toTry

toUByte

toUVlqFmt

toValidScriptType

toZigZagFmt

toZigZagVlqFmt

token

tokenThresholdScript

tokens

CostingBox BoxCoster Box CSizeBox SizeBox Box SizeBox SizeBoxAdapter SizeBoxConstMethods SizeBoxMethods BoxAdapter BoxConstMethods BoxMethods

tokensMethod

SBox

top

LambdaStack ThunkStack

totalCost

CostAccumulator

tparamSubst

SCollectionType SFunc SGenericType SOption STuple

tpe

Context Global Inputs Outputs ArithOp AtLeast BitInversion BitOp BoolToSigmaProp CreateAvlTree CreateProveDHTuple CreateProveDlog Downcast If ModQ ModQArithOp Negation STypeOps SigmaAnd SigmaOr TreeLookup Upcast BlockValue ConcreteCollection ConstantNode ConstantPlaceholder FuncValue GroupGenerator NoneValue NotReadyValueAvlTree NotReadyValueBigInt NotReadyValueBoolean NotReadyValueBox NotReadyValueByteArray NotReadyValueGroupElement NotReadyValueInt NotReadyValueLong SomeValue TaggedVariableNode Tuple UnitConstant ValDef ValUse Value Apply ApplyTypes Block Ident Lambda MethodCall MethodCallLike Select ValNode ZKProofBlock Append BooleanTransformer ByIndex DeserializeContext DeserializeRegister ExtractCreationInfo ExtractRegisterAs Filter Fold GetVar MapCollection OptionGet OptionGetOrElse OptionIsDefined SelectField SigmaPropBytes Slice

tpeArgs

ValDef ApplyTypes

tpeParams

SFunc Lambda

transactionId

ErgoBox

transactionOutputsDecoder

JsonCodecs

transactionsRoot

CHeader HeaderCoster Header Header HeaderAdapter HeaderConstMethods

transactionsRootMethod

SHeader

transcript

Verifier

transferErgWithChange

StdContracts

transferTokenWithChange

StdContracts

transform

Def NewObject Apply IfThenElseLazy ThunkForce First Second Tup ApplyBinOp ApplyBinOpLazy ApplyUnOp Convert Downcast OpCost SizeOf Upcast ProgramGraph Cast CostedThunkCtor PerKbCostOf SizeThunkCtor CollAdapter CollBuilderAdapter PairCollAdapter ReplCollAdapter CCostedBuilderCtor CCostedCollCtor CCostedFuncCtor CCostedPairCtor CCostedPrimCtor CSizeCollCtor CSizeFuncCtor CSizeOptionCtor CSizePairCtor CSizePrimCtor CCostedOptionCtor CostedAdapter CostedBuilderAdapter CostedCollAdapter CostedFuncAdapter CostedOptionAdapter CostedPairAdapter CostedPrimAdapter IntPlusMonoidCtor LongPlusMonoidCtor MonoidBuilderInstCtor MonoidAdapter MonoidBuilderAdapter SizeAdapter SizeCollAdapter SizeFuncAdapter SizeOptionAdapter SizePairAdapter SizePrimAdapter SizeAnyValueAdapter SizeBoxAdapter SizeBuilderAdapter SizeContextAdapter SizeSigmaPropAdapter AnyValueAdapter AvlTreeAdapter BigIntAdapter BoxAdapter ContextAdapter CostModelAdapter GroupElementAdapter HeaderAdapter PreHeaderAdapter SigmaContractAdapter SigmaDslBuilderAdapter SigmaPropAdapter OptionWrapSpecAdapter RTypeWrapSpecAdapter SpecialPredefWrapSpecAdapter WrapSpecBaseAdapter WOptionAdapter WRTypeAdapter WSpecialPredefAdapter

transformConserve

AnyRefOps

transformProductParam

transformers

traverseDepthFirst

tree

treeArg

treeData

treeFlags

treeOp

treeWithSegregation

trees

trueBranch

If

trueBranchArg

tryCast

tryConvert

tryInvoke

trySoftForkable

tupleRType

tuplesCache

tx

InputBox OutBox ErgoOutBox

type

typeAliasEdges

typeArgs

typeArgsDescs

typeAvlTree

typeBigInt

typeBoolean

typeBox

typeByte

typeCode

typeCodeInfo

MethodCallSerializer PropertyCallSerializer

typeCodeToType

typeCollection

typeFromName

typeGroupElement

typeId

SAvlTree SBigInt SBoolean SBox SByte SCollection SContext SGlobal SGroupElement SHeader SInt SLong SNumericType SOption SPreHeader SShort SSigmaProp SString STuple STypeCompanion

typeIdentToTypeParam

STypeParam

typeInfo

FuncValueSerializer GetVarSerializer DeserializeContextSerializer DeserializeRegisterSerializer ExtractRegisterAsSerializer NumericCastSerializer

typeInt

SType

typeLong

SType

typeName

STypeCompanion ValueCompanion

typeOfData

SType

typeParams

SCollectionType SFunc SGenericType SOption STuple

typeShort

typeSigmaProp

typeSize

typeSubst

typeToDoc

typeToSized

typeToZero

typecheck

SigmaCompiler SigmaTyper

typedeclToDoc

SigmaPrinter

types

sigma SType