R1CSInstance_mkPublicVal

fun R1CSInstance_mkPublicVal(jarg1: Long, jarg1_: R1CSInstance, jarg2: Long): Long