Specs

equal?(term(), term()) :: boolean()

determine if two structures are the same

Comprisons are done bitwise on the destructured data.

The only short-circuits are for structures of differing sizes. Thus, information about whether a suspect string is of the correct length may be leaked.