Previous  Up  Next

Module Glob_ast


module Glob_ast: sig .. end
exception Parse_error of string

type pattern =
| Epsilon
| Star of pattern
| Class of character_class
| Concat of pattern * pattern
| Union of pattern list
| Word of string 
type character_class = (char * char) Bool.boolean

type 'a atom =
| Constant of string
| Pattern of 'a