Impl.Handle
type ('var, 'value) t = ( 'var, 'value ) Tock0.Handle.t
val value : ( 'a, 'value ) t -> 'value As_prover.t
val var : ( 'var, 'a ) t -> 'var