menu
fixed_z3 package
documentation
z3.dart
Exists
patterns property
patterns property
dark_mode
light_mode
patterns
property
List
<
Pat
>
patterns
final
Implementation
final List<Pat> patterns;
fixed_z3 package
documentation
z3
Exists
patterns property
Exists class