Here is a list of all namespace functions with links to the namespace documentation for each function:

- a -

• add() : llzk
• addAuxMember() : llzk
• addLangAttrForLLZKDialect() : llzk
• addRemoveUnnecessaryOpsAndDefsPipeline() : llzk
• addSpecifiedFields() : llzk
• addTemplateParams() : llzk
• addWitgenPreparePipeline() : llzk::witgen
• analyzeForbiddenIncludedContractSummary() : llzk::verif
• analyzeForbiddenIncludedOpSummary() : llzk::verif
• analyzeForbiddenPreconditionCallableResult() : llzk::verif
• analyzeForbiddenPreconditionCallableResultInfo() : llzk::verif
• analyzeForbiddenPreconditionInfluence() : llzk::verif
• analyzeForbiddenPreconditionInfluenceInfo() : llzk::verif
• analyzeForbiddenPreconditionOpInfluenceInfo() : llzk::verif
• analyzeStruct() : llzk
• any() : llzk::verif
• appendLeaf() : llzk
• appendLeafName() : llzk
• appendWithoutType() : llzk
• arrayTypesUnify() : llzk
• asArray() : llzk::witgen
• asBool() : llzk::witgen
• asFelt() : llzk::witgen
• asIndex() : llzk::witgen
• asPod() : llzk::witgen
• assertValidAttrForParamOfType() : llzk
• asStruct() : llzk::witgen
• asSymbolRefAttr() : llzk