viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.libsnarkwrapper
/
libsnarkwrapperJNI
/
BoolVector_doSize
Bool
Vector_do
Size
fun
BoolVector_doSize
(
jarg1
:
Long
,
jarg1_
:
BoolVector
)
:
Int