Module Grammars.Term_sequence_parser

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