$parsing-note ( children -- ) (original) (raw)
Inputs
children | a list of markup elements |
---|
Outputs
None
Word description
Prints a disclaimer, indicating that the current page describes a word made to be used for parsing.
Definition
: $parsing-note ( children -- )
drop
"This word should only be called from parsing words." $notes
;