func (l FiniteDomain) Eq(r FiniteDomain) Bool {
	ctx := l.ctx
	val := wrapValue(ctx, func() C.Z3_ast {
		return C.Z3_mk_eq(ctx.c, l.c, r.c)
	})
	runtime.KeepAlive(l)
	runtime.KeepAlive(r)
	return Bool(val)
}
Eq returns a Value that is true if l and r are equal.
package z3
import "runtime"
import "C"