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