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