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.