Module Main.Type.URe

module URe: sig .. end

type regexp = [ `After of regexp
       | `Alt of regexp * regexp
       | `Before of regexp
       | `BoS
       | `EoS
       | `Epsilon
       | `Group of regexp
       | `OneChar
       | `Rep of regexp
       | `Repn of regexp * int * int option
       | `Seq of regexp * regexp
       | `Set of Main.Type.USet.t
       | `String of Main.Type.UChar.t list ] 

type match_semantics = [ `First | `Longest | `Shortest ] 

val no_group : regexp -> regexp

module type Type = sig .. end

module Make: 
functor (Text : Main.Type.UnicodeString.Type) -> Type  with type text = Text.t and type index = Text.index