Proof#

Qualified name: rsm.nodes.Proof

class rsm.nodes.Proof(**kwargs)[source]#

Methods

Attributes

`has_handrail`	Whether nodes of this class are rendered with a handrail.
`nodeid`	Node id - always exists (unlike label), automatically assigned, unique within the tree.
`label`	Unique identifier.
`classes`	CSS classes for this node.
`handrail_depth`	The number of ancestors of this node that have a handrail.
`number`	Node number.
`nonum`	Whether this node should be automatically given a number.
`reftext_template`	Reftext template, or "" to use `classreftext`.
`start_point`	The start point of the corresponding concrete syntax tree node.
`end_point`	The end point of the corresponding concrete syntax tree node.

has_handrail: ClassVar[bool] = True[source]#: Whether nodes of this class are rendered with a handrail.