Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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.