$productionset-lhs-rhs-separator

$productionset-lhs-rhs-separator — Separator in productions.

Parameter:

{}productionset-lhs-rhs-separator

Defined in:

param.xsl

Used in:

main.xsl, param.xsl

Synopsis

$productionset-lhs-rhs-separator := ':='

Description

A productionset consists of non-terminals on the “left hand side” (LHS) and the productions that they expand to on the “right hand side” (RHS). When formatted, this string will be used as the separator between the left- and right-hand sides.