
[;1m  no_return()[0m

  The type used to show that a function will never return a value,
  that is it will always throw an exception.
