-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
+let proc_command f st command = match command with
+ | A.Section section -> proc_section f st section command
+ | A.Context _ -> proc_context f st command
+ | A.Block _ -> proc_block f st command
+ | A.Decl _ -> proc_global f st command
+ | A.Def _ -> proc_global f st command