module ParserAux

val current_token_precedence : Lexing.position -> Lexing.position -> Syntax.precedence_level

val current_reduce_precedence : unit -> Syntax.precedence_level

val check_production_group : (Syntax.producer list * 'a * 'b * 'c) list -> Lexing.position -> Lexing.position -> Action.t -> unit

val override : Positions.t -> 'a option -> 'a option -> 'a option