R1CSInstance_mkOr

fun R1CSInstance_mkOr(jarg1: Long, jarg1_: R1CSInstance, jarg2: Long, jarg2_: Var, jarg3: Long, jarg3_: Var): Long