menu
z3 package
documentation
z3.dart
ASTExtension<A extends AST>
declare method
declare method
dark_mode
light_mode
declare
method
A
declare
(
)
Implementation
A declare() => currentContext.declare(this);
z3 package
documentation
z3
ASTExtension<A extends AST>
declare method
ASTExtension extension on A