module PER = ProofEngineReduction
module Ut = CicUtil
+(* time stamping ************************************************************)
+
+let print_times =
+ let old = ref 0.0 in
+ fun msg ->
+ let times = Unix.times () in
+ let stamp = times.Unix.tms_utime +. times.Unix.tms_utime in
+ let lap = stamp -. !old in
+ Printf.eprintf "TIME STAMP: %s: %f\n" msg lap; flush stdout;
+ old := stamp
+
(* raw cic prettyprinter ****************************************************)
let xiter out so ss sc map l =