in
resolve_lref f st l lenv (id_of_name name)
-let xlate_unit f st = function
+let xlate_entity f st = function
| A.Section (Some (_, name)) ->
f {st with path = name :: st.path; nodes = st.node :: st.nodes} None
| A.Section None ->
let initial_status ?(cover="") () =
initial_status hsize cover
-let meta_of_aut = xlate_unit
+let meta_of_aut = xlate_entity