1signature regexType =
2sig
3
4  datatype Reg
5       = Eps
6       | Sym of char
7       | Alt of Reg * Reg
8       | Seq of Reg * Reg
9       | Rep of Reg
10
11  val mapToRegExe : Reg -> char regexEMCML.Reg
12
13
14end
15
16