parAndThen method

Tactic parAndThen(
  1. Tactic other
)

Implementation

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