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
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.