// SPDX-License-Identifier: CC-BY-SA-4.0
= Generated C Headers

This directory holds C header files auto-generated from the proven Idris2 ABI
definitions.  These headers are the output of idrisiser's proof compilation
pipeline and can be consumed by any C-ABI-compatible language.

**Do not edit these files by hand.** They are regenerated by `idrisiser generate`.

== Contents (when populated)

* `idrisiser.h` — Public API: engine lifecycle, interface parsing, proof
  generation, proof compilation, wrapper emission, error handling.
* Type definitions matching `Idrisiser.ABI.Types` (Result codes, format enums).
* Function declarations matching `Idrisiser.ABI.Foreign` exports.
