interpreter/io.github.aplcornell.viaduct.libsnarkwrapper/libsnarkwrapperJNI/new_BoolVector__SWIG_1

new_BoolVector__SWIG_1

fun new_BoolVector__SWIG_1(jarg1: Long, jarg1_: BoolVector): Long