# 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`.