Elixir/Phoenix - what are the variables that are prefixed with @ (eg - @types or @impl)

Question

I\'m following some tutorials but got confused seeing these variables, what exactly are these and what are they called?