menu
z3 package
documentation
z3.dart
getExprApp function
getExprApp function
dark_mode
light_mode
getExprApp
function
App
?
getExprApp
(
Expr
expr
)
Implementation
App? getExprApp(Expr expr) => currentContext.getExprApp(expr);
z3 package
documentation
z3
getExprApp function
z3 library