Mina_state.Ancestor
module Input : sig ... end
module Output = Mina_base.State_hash
module Proof : sig ... end
val verify : Input.t -> Output.t -> Proof.t -> bool
module Prover : sig ... end