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