Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
finally f g
returns f ()
guaranteeing to run clean-up actions g ()
even if f ()
throws an exception.
maybe_with_default d f v
is Some f c
if v
is Some c
and d
otherwise.
may f v
is Some f c
if v
is Some c
and None otherwise.
reraise_if bool fct
runs fct ()
. If not bool
ignores raised exceptions