Mina_base.Prover_value
type 'a t
val get : 'a t -> 'a
val create : ( unit -> 'a ) -> 'a t
val map : 'a t -> f:( 'a -> 'b ) -> 'b t
val if_ : Snark_params.Tick.Boolean.var -> then_:'a t -> else_:'a t -> 'a t
val typ : unit -> ( 'a t, 'a ) Snark_params.Tick.Typ.t