sign property

  1. @override
int get sign
override

Implementation

@override
int get sign => _c._z3.algebraic_sign(_n);