1 (***********************************************************************)
4 (* Nicolas Pouillard, Berke Durak, projet Gallium, INRIA Rocquencourt *)
6 (* Copyright 2007 Institut National de Recherche en Informatique et *)
7 (* en Automatique. All rights reserved. This file is distributed *)
8 (* under the terms of the Q Public License version 1.0. *)
10 (***********************************************************************)
13 (* Original author: Berke Durak *)
16 exception Parse_error of string
20 | Class of character_class
21 | Concat of pattern * pattern
22 | Union of pattern list
24 and character_class = (char * char) Bool.boolean
25 type 'pattern atom = Constant of string | Pattern of 'pattern