menu
fixed_z3 package
documentation
z3.dart
BitVecNumeral
sign property
sign property
dark_mode
light_mode
sign
property
@
override
int
get
sign
override
Implementation
@override int get sign => value.sign;
fixed_z3 package
documentation
z3
BitVecNumeral
sign property
BitVecNumeral class