Previous_proof_statement.Constant
type ('prev_value, 'width) t = {
public_input : 'prev_value;
proof : ( 'width, 'width ) Proof.t;
proof_must_verify : bool;
}