-let kernel = ref Brg
-
-let print_counters st = match !kernel with
- | Brg -> BrgO.print_counters C.start st.brgc
- | Bag -> BagO.print_counters C.start st.bagc
-
-let xlate_entity entity = match !kernel, entity with
- | Brg, CrgEntity e ->
- let f e = (BrgEntity e) in Y.xlate f BrgC.brg_of_crg e
- | Brg, MetaEntity e ->
- let f e = (BrgEntity e) in Y.xlate f MBrg.brg_of_meta e
- | Bag, MetaEntity e ->
- let f e = (BagEntity e) in Y.xlate f MBag.bag_of_meta e
+let print_counters st = function
+ | G.Crg -> DO.print_counters C.start st.dc
+ | G.Brg -> BO.print_counters C.start st.bc
+ | G.Bag -> ZO.print_counters C.start st.zc
+
+let xlate_entity entity = match !G.kernel, entity with
+ | G.Brg, CrgEntity e ->
+ let f e = (BrgEntity e) in E.xlate f BD.brg_of_crg e
+ | G.Brg, MetaEntity e ->
+ let f e = (BrgEntity e) in E.xlate f MB.brg_of_meta e
+ | G.Bag, MetaEntity e ->
+ let f e = (BagEntity e) in E.xlate f MZ.bag_of_meta e