Module `Odoc_utils.Fun`

odoc's Pages

odoc

Libraries

odoc.document
- Odoc_document
odoc.examples
- Odoc_examples
odoc.html
- Odoc_html
odoc.html_support_files
- Odoc_html_support_files
odoc.json_index
- Odoc_json_index
odoc.latex
- Odoc_latex
odoc.loader
- Odoc_loader
odoc.manpage
- Odoc_manpage
odoc.model
- Odoc_model
odoc.model_desc
- Odoc_model_desc
odoc.occurrences
- Odoc_occurrences
odoc.odoc
- Odoc_odoc
odoc.odoc_utils
- Odoc_utils
odoc.search
- Odoc_search
odoc.search_html_frontend
- Odoc_html_frontend
odoc.syntax_highlighter
- Syntax_highlighter
odoc.xref2
- Odoc_xref2
odoc.xref_test
- Odoc_xref_test

exception Finally_raised of exn

val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a