comb comparator (
	a: Logic<8>,
	b: Logic<8>
) -> Logic<1>
{
	~reduce_or(a ^ b)
}