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