Provides types and functions for programs running on Erlang, enabling concurrent process...