Module Grammars.Term_sequence_parserSource

Sourcetype associativity =
  1. | Left
  2. | Right
  3. | NonAss
Sourcetype fixity =
  1. | Prefix
  2. | Infix of int * associativity
Sourcetype term =
  1. | Var of string
  2. | Cst of string
  3. | App of term * term
  4. | Abs of string * term
Sourcetype token =
  1. | Term of term
  2. | Op of string * fixity
Sourceval next : token list -> token option * token list
Sourceval parse_sequence : token list -> token option -> token list -> term
Sourceval to_string : term -> string
Sourcemodule SMap : Map.S with type key = string
Sourcetype sig_info = fixity SMap.t
Sourceval test_sig : sig_info
Sourceval get_fixity : string -> sig_info -> fixity