R1CSInstance_mkMux

fun R1CSInstance_mkMux(jarg1: Long, jarg1_: R1CSInstance, jarg2: Long, jarg2_: Var, jarg3: Long, jarg3_: Var, jarg4: Long, jarg4_: Var): Long