parAndThen method

Tactic parAndThen(
  1. Tactic other
)

Returns a tactic that applies this then other to every subgoal in parallel.

Implementation

Tactic parAndThen(Tactic other) {
  final result = _c._z3.tactic_par_and_then(_tactic, other._tactic);
  return _c._getTactic(result);
}