Module `Internal_Basic.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.