ebnf-eps-prod-width

ebnf-eps-prod-width is a variable defined in `ebnf2ps.el'.
Its value is

0.0

• Automatically becomes buffer-local when set.

Documentation:
Not documented as a variable.