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