Match Specifications in Erlang — erts v15.2.7
www.erlang.org