+ | BrgEntity entity -> BrgU.type_check brg_err ok ~si g entity
+ | BagEntity entity -> BagU.type_check ok ~si g entity
+ | DrgEntity (a, u, _)
+ | MetaEntity (a, u, _) -> f st a u
+
+(****************************************************************************)
+
+let stage = ref 3
+let moch = ref None
+let meta = ref false
+let progress = ref false
+let preprocess = ref false
+let use_cover = ref true
+let si = ref false
+let cc = ref false
+let export = ref false
+let graph = ref (H.graph_of_string C.err C.start "Z2")
+let old = ref false
+
+let process_3 f st a u =
+ if !progress then
+ let s = U.string_of_uri u in
+ let err () = L.warn (P.sprintf "%s" s); f st in
+ let f i = L.warn (P.sprintf "[%u] %s" i s); f st in
+ Y.mark err f a
+ else
+ f st
+
+let process_2 f st entity =
+ let st = count_entity st entity in
+ if !export then export_entity !si !graph !moch entity;
+ if !stage > 2 then type_check (process_3 f) st !si !graph entity else f st
+
+let process_1 f st entity =
+ let st = count_entity st entity in
+ export_entity !si !graph !moch entity;
+ if !stage > 1 then xlate (process_2 f) st entity else f st
+
+let process_0 f st entity =
+ let f st entity =
+ if !stage = 0 then f st else
+ let frr mst = f {st with mst = mst} in
+ let h mst e = process_1 f {st with mst = mst} (MetaEntity e) in
+ let err dst = f {st with dst = dst} in
+ let g dst e = process_1 f {st with dst = dst} (DrgEntity e) in
+ if !old then MA.meta_of_aut frr h st.mst entity else
+ DA.drg_of_aut err g st.dst entity
+ in
+ let st = {st with ac = count AO.count_entity st.ac entity} in
+ if !preprocess then process_entity f st entity else f st entity
+
+let rec process f book st = match book with
+ | [] -> f st
+ | entity :: tl ->
+(* we exploit tail recursion rather than CPS *)
+ process f tl (process_0 C.start st entity)