Skip to main content

getNodeAuxValue variable

Signature:

getNodeAuxValue: (p: Proof | undefined) => NodeAuxValue