Plonk_types.Proof
module Stable : sig ... end
type ('a, 'b, 'c) t = ( 'a, 'b, 'c ) Stable.V2.t = {
messages : 'a Messages.t;
openings : ( 'a, 'b, 'c ) Openings.t;
}