Make_extended.Handle
val value : ( 'var, 'value ) Handle.t -> ( 'value, Env.field ) Types.As_prover.t