Inductive ApplicationKindT :=
  | CONSOLE
  | GRAPHICAL
  .
