menu
z3 package
documentation
z3.dart
ASTExtension extension
ASTExtension extension
dark_mode
light_mode
ASTExtension<
A extends AST
>
extension
on
A
Methods
declare
(
)
→ A
z3 package
documentation
z3
ASTExtension extension
z3 library