On récupère les fonctions suivantes:
val
try_finalize
: ('
a
-> '
b
) -> '
a
-> ('
c
->
unit
) -> '
c
-> '
b
val
restart_on_EINTR
: ('
a
-> '
b
) -> '
a
-> '
b