ebnf-basic-width-extra

ebnf-basic-width-extra is a variable defined in `ebnf2ps.el'.
Its value is

0

Documentation:
Not documented as a variable.