1
(* $Id: uni_types.ml 665 2004-06-02 10:54:48Z gerd $
2
* ----------------------------------------------------------------------
6
(******************************************************)
7
(* Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> *)
9
(******************************************************)
13
| Interval of int * int (* lower bound, upper bound *)
14
| Identifier of string
15
| Concat of regexp list list (* concatenation of disjunctions *)
18
type definition = { id : string ; rel : regexp list } ;;