Library Mtac2.intf.Tm_kind

Inductive tm_kind :=
  | tmVar
  | tmEvar
  | tmSort
  | tmConst
  | tmConstruct
  | tmProd
  | tmLambda
  | tmLetIn
  | tmApp
  | tmCast
  | tmInd
  | tmCase
  | tmFix
  | tmCoFix.