1 2 3 4 5 6 7 8 9 10 11 12
import CoreModels.Alloc.Funs import CoreModels.Alloc.Types /-! # Alloc This module contains the extracted items from our Rust model of `alloc`. All code in `Funs.lean` and `Types.lean` is auto-generated. Do not edit. -/