Module S.Handle

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