Elim (cooltt.Frontend.Tactics.Elim)

type case_tac = CS.pat * Core.Tactic.Chk.tac

val elim : 
  Core.Tactic.Chk.tac ->
  case_tac list ->
  Core.Tactic.Syn.tac ->
  Core.Tactic.Syn.tac

val lam_elim : case_tac list -> Core.Tactic.Chk.tac