Module Path_glob

module Ast : sig ... end
module Formula : sig ... end

Provides a datatype for representing propositional formulas and evaluation, iteration and map functions.

module Glob : sig ... end

A globber is a boolean combination of basic expressions indented to work on pathnames. Known operators are or, and and not, which may also be written |, & and ~. There are also constants true and false (or 1 and 0). Expression can be grouped using parentheses.

module Lexer : sig ... end

A lexer function for globbing formulas.