Function NewVar

ecgo/utils/gnarkexpr/expr.go:28–38

(x int)

const MaxVariables = (1 << 31) - 100

func NewVar(x int) Expr {
	if x < 0 || x >= MaxVariables {
		panic("variable id out of range")
	}
	v := builder.InternalVariable(uint32(x))
	t := reflect.ValueOf(v).Index(0).Interface().(Expr)
	if t.WireID() != x {
		panic("variable id mismatch, please check gnark version")
	}
	return t
}