Memory comparison, input insensitive
a pointer to an array
a pointer to another array
the number of Ts in p1 and p2
true iff p1i == p2i forall i in [0...n)
See Implementation
Memory comparison, input insensitive