Changes
origin/trunk-#5451 (Sep 23, 2025, 11:57:04 PM)
- Use Const_immstring for all constant strings created by the compiler — vincent.laviron / githubweb
- Introduce Lambda.lambda_of_const — vincent.laviron / githubweb
- Introduce Lambda.constant type — vincent.laviron / githubweb
- Remove Lambda.Const_base indirection — vincent.laviron / githubweb
- Changes for PR14260 — vincent.laviron / githubweb