built-in method
phrase//1
Description
phrase(GrammarRuleBody)
This non-terminal takes a grammar rule body and parses it using the two implicit grammar rule arguments. A common use is to wrap what otherwise would be a naked meta-variable in a grammar rule body when defining a meta non-terminal.
Meta-non-terminal template
phrase(0)
Modes and number of proofs
phrase(+callable) - zero_or_more
Errors
GrammarRuleBody
is a variable:instantiation_error
GrammarRuleBody
is neither a variable nor a callable term:type_error(callable, GrammarRuleBody)
Examples
(none)