alias
Z3::AnyExpr
Overview
Any expression, regardless of sort. This is what we can recover from a raw AST pointer, since Z3 only tells us the sort kind at runtime.
Alias Definition
Z3::BitvecExpr | Z3::BoolExpr | Z3::IntExpr | Z3::RealExpr