Inductive_rule.Previous_proof_statement
type ('prev_var, 'width) t = {
public_input : 'prev_var;
proof : ( 'width, 'width ) Proof.t Impls.Step.As_prover.Ref.t;
proof_must_verify : B.t;
}
module Constant : sig ... end