------------------------------------------------------
 Extraction of programs in Objective Caml and Haskell
------------------------------------------------------

:Source: https://coq.inria.fr/distrib/current/refman/extraction.html
:Converted by: Maxime Dénès