xref: /seL4-l4v-master/HOL4/examples/formal-languages/regular/regular-play/lib/regex.sig

signature regex =
sig

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

end