R1CSInstance_mkNot

fun R1CSInstance_mkNot(jarg1: Long, jarg1_: R1CSInstance, jarg2: Long, jarg2_: Var): Long