failIf method

Tactic failIf(
  1. Probe p
)

Implementation

Tactic failIf(Probe p) {
  final result = _c._z3.tactic_fail_if(p._probe);
  return _c._getTactic(result);
}