2.9 notes

package: rktsicm

value
*notes* : (listof any/c)

List of notes. Notes are used in logic utils and simplifier to note down assumptions used.

procedure
(note-that! note) → any/c
note : any/c

Add a [note] to the *notes* list.

procedure
(clear-notes!) → void

Reset the *notes* list.

procedure
(show-notes) → void

Show the notes that were in the *notes* list before the last call to (clear-notes!)