Write report on exceptions
Write a single hand-written markdown file listing the use of exceptions in the protocol, why they are used and what can we do about them. There are not that many exceptions in the protocol. To find them, search for the use of one of these functions:
Parameter raise : ∀ {a : Set}, extensible_type → a.
Parameter raise_notrace : ∀ {a : Set}, extensible_type → a.
Parameter invalid_arg : ∀ {a : Set}, string → a.
Parameter failwith : ∀ {a : Set}, string → a.
from https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/pervasives
There can be also other exceptions, raised by primitives from the environment (hard to list). Another way to find exceptions is to look for the try
keyword in OCaml.