Module `2-As_prover.Handle`

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