Here is a list of all namespace typedefs with links to the namespace documentation for each typedef:

• AbstractSparseLattice : llzk::dataflow
• ArrayValueRef : llzk::witgen
• EmitErrorFn : llzk
• FieldRef : llzk
• FieldSet : llzk
• Influence : llzk::verif::detail
• InfluenceInfo : llzk::verif::detail
• InitializedRecords : llzk::pod
• ManagedResources : llzk
• Overwrite : llzk
• OwningEmitErrorFn : llzk
• PodValueRef : llzk::witgen
• SourceRefRemappings : llzk
• StructValueRef : llzk::witgen
• TranslationMap : llzk
• UnificationMap : llzk
• UnresolvedOp : llzk::pod
• WitnessVal : llzk::witgen