Module As_prover.Handle

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