1# Fiat 2 3This directory contains code generated by 4[Fiat](https://github.com/mit-plv/fiat-crypto) and thus these files are 5licensed under the MIT license. (See LICENSE file.) 6 7The files are imported from the `fiat-c/src` directory of the Fiat repository. 8Their contents are `#include`d into source files, so we rename them to `.h`. 9