From 4a2a71d4d832cc80d0af93df817da038de55c72f Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Sat, 30 Apr 2022 15:26:58 -0400 Subject: Updated docs --- bp.1.md | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'bp.1.md') diff --git a/bp.1.md b/bp.1.md index 0170aaa..6995372 100644 --- a/bp.1.md +++ b/bp.1.md @@ -280,6 +280,11 @@ contain the word **"IGNORE"**) *name*`:` *pat* : Define *name* to mean *pat* (pattern definition) +*name*`::` *pat* +: Define *name* to be a special tagged pattern *pat*. This is the same as a +regular definition, except that a piece of metadata is attached to it +associating it with the specified name. + `#` *comment* : A line comment -- cgit v1.2.3