1-Impl.Handle
type ('var, 'value) t
val value : ( _, 'value ) t -> ( unit -> 'value ) As_prover.t
val var : ( 'var, _ ) t -> 'var