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