[acl2/acl2] 345ae9: Refinements from Coglio's review

[Stephen Westfold]

Branch: refs/heads/remora-mono
Home: https://github.com/acl2/acl2
Commit: 345ae9157ee8b97067b672d9cb5ba503ab65a28e
https://github.com/acl2/acl2/commit/345ae9157ee8b97067b672d9cb5ba503ab65a28e
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/utility-transforms.lisp

Log Message:
-----------
Refinements from Coglio's review



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications