viaduct
0.2.0-5-g5831d91.dirty
runtime
/
edu.cornell.cs.apl.viaduct.libsnarkwrapper
/
libsnarkwrapperJNI
/
IntVector_isEmpty
Int
Vector_is
Empty
fun
IntVector_isEmpty
(
jarg1
:
Long
,
jarg1_
:
IntVector
)
:
Boolean
Content copied to clipboard