Grammars.Term_sequenceSourceThis modules implements a cheap term parser to handle infix operators associativity and precedence without changing the menhir grammar files
Log is the log module for Term_Sequence
type token = | Term of Logic.Abstract_syntax.Abstract_syntax.term
* Logic.Abstract_syntax.Abstract_syntax.location| Op of Logic.Abstract_syntax.Abstract_syntax.term
* Logic.Abstract_syntax.Abstract_syntax.syntactic_behavior
* Logic.Abstract_syntax.Abstract_syntax.locationThe type of the tokens. Only Op values can have infix syntactic properties
val parse_sequence :
token list ->
AcgData.Signature.Data_Signature.t ->
Logic.Abstract_syntax.Abstract_syntax.term
* Logic.Abstract_syntax.Abstract_syntax.locationparse_sequence lst sg returns a pairs consisting of a term and its location. The sequence is parsed according to the associativity and precedence properties given in sg.