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