parser_types.mli 275 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
type kind =
  | Type_k
  | Term_k
  | Both

type kind_parameter =
  | Type
  | Term

type type_or_term_value =
  | Type_value of Logic.Abstract_syntax.Abstract_syntax.type_def
  | Term_value of Logic.Abstract_syntax.Abstract_syntax.term
  | Term_token of Term_sequence.token