Up
–
mina_base
»
Mina_base
»
Account_update
»
Body
»
Checked
» Int_as_prover_ref
Module
Checked.Int_as_prover_ref
type
t
=
int
Snark_params.Tick.As_prover.Ref.t