2-As_prover.Handle
val value : ( 'var, 'value ) Handle.t -> ( 'value, 'f Checked.field ) Types.As_prover.t