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