Module Morsmall_utilities__TestParser

abstract syntax of test expressions

type expression =
| And of expression * expression
| Or of expression * expression
| Not of expression
| Binary of string * string * string
| Unary of string * string
| Single of string
exception Parse_error
val parse : ?⁠bracket:bool -> string list -> expression option

parse ~bracket wl parses the list of words wl as a test expression (or None if wl is empty). If bracket is true then the last word of wl must be a right bracket.