Module `1-Impl.Handle`

Representation of an R1CS value and an OCaml value (if running as the prover) together.

type ('var, 'value) t

val value : ( _, 'value ) t -> 'value As_prover.t

Get the value of a handle as the prover.

val var : ( 'var, _ ) t -> 'var

Get the R1CS representation of a value.