integer_digitbox

penzai.treescope.arrayviz.arrayviz.integer_digitbox(value: int, label_top: str = '', label_bottom: str | None = None, size: str = '1em') → ArrayvizDigitboxRendering

Returns a “digitbox” rendering of a single integer.

Parameters:

• value – Integer value to render.

• label_top – Label to draw on top of the digitbox.

• label_bottom – Label to draw below the digitbox. If omitted, defaults to str(value).

• size – Size for the rendering as a CSS length. “1em” means render it at the current font size.

Returns:

A renderable object showing the digitbox rendering for this integer.