1 (******************************************************)
2 (* Claudio Sacerdoti Coen <sacerdot@cs.unibo.it> *)
4 (******************************************************)
8 | Interval of int * int (* lower bound, upper bound *)
10 | Concat of regexp list list (* concatenation of disjunctions *)
13 type definition = { id : string ; rel : regexp list } ;;