+ | 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 process = 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 true
+
+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 rec process_0 f st = function
+ | [] -> f st
+ | entity :: tl ->
+ let f st = process_0 f st tl in
+ let frr st mst = {st with mst = mst} in
+ let h st mst e =
+ process_1 C.start {st with mst = mst} (MetaEntity e)
+ in
+ let f st entity =
+ if !stage = 0 then f st else
+(* let err st dst = f {st with dst = dst} in
+ let g st dst e = process_1 f {st with dst = dst} (DrgEntity e) in
+ if !old then *) f (MA.meta_of_aut (frr st) (h st) st.mst entity) (* else
+ DA.drg_of_aut (err st) (g st) st.dst entity *)
+ in
+ let st = {st with ac = count AO.count_entity st.ac entity} in
+ if !process then process_entity f st entity else f st entity