Name

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

Parameter:
{}productionset-lhs-rhs-separator
Defined in:
param.xsl
Used in:
parameter-maps.xsl, modules/programming.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.