Test and document proc with function assertions#331

Merged

theory merged 1 commit intomainfrom test-proc

Feb 4, 2024

+1,376-979

Commits on Feb 4, 2024

Test and document proc with function assertions
theory
committed