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