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