helm/DEVEL/pxp/pxp/tools/ucs2_to_utf8/types.ml

   1 (******************************************************)
   2 (*    Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>   *)
   3 (*                   14/05/2000                       *)
   4 (******************************************************)
   5
   6 type regexp =
   7    Char of int
   8  | Interval of int * int      (* lower bound, upper bound *)
   9  | Identifier of string
  10  | Concat of regexp list list (* concatenation of disjunctions *)
  11 ;;
  12
  13 type definition = { id : string ; rel : regexp list } ;;