Expand description

Proof evaluations used by the protocol state proof

Structs

Type Definitions