5.1. Dependency Graph🔗

The FFI module sits at the top of the dependency chain:

FFI
 └── Config
      └── Dump
           └── Schema
                ├── Token
                │    └── Scanner
                │         └── TokenParser
                └── CharPredicates
                     └── YamlSpec

FFI.lean exports functions via @[export] that are callable from C. The Python and Rust bindings wrap these C-level exports with idiomatic APIs in their respective languages.