(* internal functions *******************************************************)
+IFDEF PREPROCESS THEN
+
let orc_reset f st =
f {st with opening = false; reopening = false; closing = false}
| A.Block _ -> proc_block f st command
| A.Decl _ -> proc_global f st command
| A.Def _ -> proc_global f st command
-
+
+END
+
(* interface functions ******************************************************)
let initial_status () = {
iao = 0; iar = 0; iac = 0; iag = 0
}
+let get_counters f st = f st.iao st.iar st.iac st.iag
+
+IFDEF PREPROCESS THEN
+
let process_command = proc_command
-let get_counters f st = f st.iao st.iar st.iac st.iag
+END