Module `3-As_prover.Handle`

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