Equations (cooltt.Frontend.Tactics.Equations)

val step : 
  Core.Tactic.Chk.tac ->
  Core.Tactic.Chk.tac ->
  Core.Tactic.Chk.tac ->
  Core.Tactic.Chk.tac ->
  Core.Tactic.Chk.tac ->
  Core.Tactic.Chk.tac ->
  Core.Tactic.Syn.tac

val qed : Core.Tactic.Chk.tac -> Core.Tactic.Chk.tac -> Core.Tactic.Syn.tac