cond method

Tactic cond(
  1. Tactic otherwise,
  2. Probe p
)

Implementation

Tactic cond(Tactic otherwise, Probe p) {
  final result = _c._z3.tactic_cond(
    p._probe,
    _tactic,
    otherwise._tactic,
  );
  return _c._getTactic(result);
}