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.