Here is a list of all namespace enums with links to the namespace documentation for each enum:

• Backend : llzk::witgen
• BVCmpPredicate : llzk::smt
• FeltCmpPredicate : llzk::boolean
• FlatteningCleanupMode : llzk::polymorphic
• ForbiddenPreconditionInfluence : llzk::verif
• FunctionKind : llzk::function
• IntPredicate : llzk::smt
• OutputScope : llzk::witgen
• OutputStream : llzk
• OverflowSemantics : llzk::cast
• SerializationMode : llzk::witgen
• Side : llzk
• UninitializedBehavior : llzk::witgen