Module Xstr_match

module Xstr_match: sig .. end

type variable

type charset

type matcher =

`\|`	`Literal of string`
`\|`	`Anystring`
`\|`	`Lazystring`
`\|`	`Anychar`
`\|`	`Anystring_from of charset`
`\|`	`Lazystring_from of charset`
`\|`	`Anychar_from of charset`
`\|`	`Nullstring`
`\|`	`Alternative of matcher list list`
`\|`	`Optional of matcher list`
`\|`	`Record of (variable * matcher list)`
`\|`	`Scanner of (string -> int)`

val match_string : matcher list -> string -> bool

type replacer =

`\|`	`ReplaceLiteral of string`
`\|`	`ReplaceVar of variable`
`\|`	`ReplaceFunction of (unit -> string)`

type rflag =

`\|`	`Anchored`
`\|`	`Limit of int`

val replace_matched_substrings : matcher list ->
       replacer list -> rflag list -> string -> string * int

val var : string -> variable

val var_matched : variable -> bool

val string_of_var : variable -> string

val found_string_of_var : variable -> string

val mkset : string -> charset

val mknegset : string -> charset