signature regex =
sig

  val match : regexType.Reg -> string -> bool

end