File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -16,11 +16,11 @@ expressed in a slightly extended subset of PCRE. The interpretations are:
16
16
17
17
- `re?` extracts an option of what `re` extracts.
18
18
- `re+`, `re*`, `re{n,m}` extracts a list of what `re` extracts.
19
- - `(?@qname)` refers to a named `[%tyre ...]` expression bound to a possibly
20
- module-qualified identifier `qname `.
19
+ - `(?@qname)` refers to any identifier bound to a typed regular expression
20
+ of type `'a Tyre.t `.
21
21
- One or more `(?<v>re)` in a sequence extracts an object where each method
22
22
`v` is bound to what `re` extracts.
23
23
- An alternative with one `(?<v>re)` per branch extracts a polymorphic
24
24
variant where each constructor `` `v`` receives what `re` extracts as its
25
25
argument.
26
- - `(?@ v:qname)` is a shortcut for `(?<v>(?&qname))`.
26
+ - `(?& v:qname)` is a shortcut for `(?<v>(?&qname))`.
You can’t perform that action at this time.
0 commit comments