delete_R1CSInstance

fun delete_R1CSInstance(jarg1: Long)