How does the =/2 special form work?

I looked here hoping to see how the match operator actually works, but I only see an error macro referenced.

I’m trying to understand how it can accept a pattern as the left hand side argument.

All special forms are implemented directly within the elixir compiler. You’d need to look into its erlang code to figure out what exactly it does.