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

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

  In a spec, use [;;4mno_return/0[0m for the sake of clarity.
