import CoreModels.Core.Funs
import CoreModels.Core.FunsEpilogue
/-!
# Core
This module contains the Lean definitions automatically extracted from our Rust model of `core`,
and some manual workarounds for items that cannot be cleanly extracted.
All code in `Funs.lean` and `Types.lean` is auto-generated. Do not edit.
-/