package path_glob

  1. Overview
  2. Docs

Module Path_globSource

Sourcemodule Ast : sig ... end
Sourcemodule Formula : sig ... end

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

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

Sourcemodule Lexer : sig ... end

A lexer function for globbing formulas.