menhir-recover: add interface file for `Attributes` (#2887)
A
Antonio Nuno Monteiro committed
83b75b6f127f383145ee32214a1bbfe485921d54
Parent: 22426de
Committed by GitHub <noreply@github.com>
on 11/2/2025, 2:05:25 AM