viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.libsnarkwrapper
/
libsnarkwrapperJNI
/
R1CSInstance_mkAnd
R1CSInstance_mk
And
fun
R1CSInstance_mkAnd
(
jarg1
:
Long
,
jarg1_
:
R1CSInstance
,
jarg2
:
Long
,
jarg2_
:
Var
,
jarg3
:
Long
,
jarg3_
:
Var
)
:
Long