Expand description

ProverResult

Structs

User-defined variables to be put into context