-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_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