equals method

Probe equals(
  1. Probe other
)

Implementation

Probe equals(Probe other) {
  final result = _c._z3.probe_eq(_probe, other._probe);
  return _c._getProbe(result);
}