Revert "Substitutions are not type-preserving in C"

FStarLang / karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Apache License 2.0

394 stars 58 forks source link

Closed msprotz closed 3 months ago

msprotz commented 3 months ago

Reverts FStarLang/karamel#436

msprotz commented 3 months ago

This caused regressions in MLkem, will redo later.