menu
fixed_z3 package
documentation
z3.dart
IntNumeral
sort property
sort property
dark_mode
light_mode
sort
property
@
override
IntSort
get
sort
override
Implementation
@override IntSort get sort => super.sort as IntSort;
fixed_z3 package
documentation
z3
IntNumeral
sort property
IntNumeral class