andThen method

Tactic andThen(
  1. Tactic other
)

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

Implementation

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