Module Extended.Handle

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