Documenting Software using Objections

Certain information should appear in the documentation of a library which uses Objections. First, it should be stated that the library is using Objections to handle error conditions, and the Objection declarations should appear in the Syntax Section of the relevant manual page. Second, the description of each function which may raise an Objection should state which Objection it may raise and under what conditions. Third, the default and recovery actions for each Objection should be well specified.