viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.libsnarkwrapper
/
R1CSInstance
/
AddEquality
Add
Equality
open
fun
AddEquality
(
a
:
Var
,
b
:
Var
)