pub fn eq(x: &Gate, y: &Gate) -> Gate
Constructs a gate that evaluates to true if and only if x and y evaluate to the same value.
true
x
y