LLZK
3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Toggle main menu visibility
Loading...
Searching...
No Matches
Here is a list of all namespace members with links to the namespace documentation for each member:
- i -
inferUnifiedParam() :
llzk::polymorphic::detail
Influence :
llzk::verif::detail
InfluenceInfo :
llzk::verif::detail
InitializedRecords :
llzk::pod
integerAttrToDynamicAPInt() :
llzk
intersection() :
llzk
isConcreteStructParamAttr() :
llzk
isConcreteType() :
llzk
isDynamic() :
llzk
isErasableDefinition() :
llzk::polymorphic::detail
isFeltOrSimpleFeltAggregate() :
llzk
isInStruct() :
llzk::component
isInStructFunctionNamed() :
llzk::component
isInTemplate() :
llzk::polymorphic
isInvariantTrueCondition() :
llzk::polymorphic::detail
isLocationLess() :
llzk
isMoreConcreteUnification() :
llzk
isNullOrEmpty() :
llzk
isOperationLive() :
llzk::dataflow
isTypeVarFreeType() :
llzk
isValidArrayElemType() :
llzk
isValidArrayType() :
llzk
isValidColumnType() :
llzk
isValidConstReadType() :
llzk
isValidEmitEqType() :
llzk
isValidGlobalType() :
llzk
isValidMainSignalType() :
llzk
isValidType() :
llzk
Generated by
1.17.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.