Expand description

ProverResult

Structs