-let proc_unit f st unit = match unit with
- | A.Section section -> proc_section f st section unit
- | A.Context _ -> proc_context f st unit
- | A.Block _ -> proc_block f st unit
- | A.Decl _ -> proc_global f st unit
- | A.Def _ -> proc_global f st unit
+let proc_entity f st entity = match entity with
+ | A.Section section -> proc_section f st section entity
+ | A.Context _ -> proc_context f st entity
+ | A.Block _ -> proc_block f st entity
+ | A.Decl _ -> proc_global f st entity
+ | A.Def _ -> proc_global f st entity