.. Documentation for
   FILE[pkg/hacl/doc.txt]
.. doxy:c:: !pkg_2hacl_2doc_8txt
   :children:
   :noindex: