<commit_before>(** fresh helper functions. *)
(***
    Imandra Inc.
    Copyright (c) 2014 - 2020
    fresh.iml
*)
[@@@import "../src-core-time-defaults-pp/time_defaults_current_time.iml"];;
[@@@import "../src-core-utils-pp/current_time.iml"];;
[@@@import "../src-core/datetime.iml"];;
[@@@import "../src-core/numeric.iml"];;
[@@@import "../src-core-time-defaults/time_defaults.iml"];;
[@@@program]

let count_string = ref 0;; 
let count_int = ref 0;;
let count_float = ref (Numeric.Float_6 0);;
let count_bool = ref true;;

let incr_string () = 
   count_string := !count_string + 1;
   Z.to_string !count_string
;;

let incr_int () = 
  count_int := !count_int + 1;
  !count_int
;;

let incr_float () = 
  count_float := Numeric.float_Add_6_6 !count_float (Numeric.Float_6 1);
  !count_float;;

let incr_bool () = 
  count_bool := not !count_bool;
  !count_bool
;;

let incr_UTCTimestamp_milli () = 
  Current_time.get_current_utctimestamp_milli ()
;;

let incr_UTCTimestamp_micro () = 
  Current_time.get_current_utctimestamp_micro ()
;;

let incr_UTCTimestamp () = 
  Time_defaults_current_time.get_current_utctimestamp ()
;;

let incr_UTCTimeOnly () = 
  Time_defaults.convert_utctimestamp_utctimeonly (incr_UTCTimestamp ())
;;

let incr_UTCTimeOnly_milli () = 
  Datetime.convert_utctimestamp_milli_utctimeonly_milli (incr_UTCTimestamp_milli ())
;;

let incr_UTCTimeOnly_micro () = 
  Datetime.convert_utctimestamp_micro_utctimeonly_micro (incr_UTCTimestamp_micro ())
;;

let incr_LocalMktDate () = 
  Time_defaults.convert_utctimestamp_localmktdate (incr_UTCTimestamp ())
;;

let incr_UTCDateOnly () = 
  Time_defaults.convert_utctimestamp_utcdateonly (incr_UTCTimestamp ())
;;

let incr_MonthYear () = 
  Time_defaults.convert_utctimestamp_monthyear (incr_UTCTimestamp ())
;;

[@@@logic]<commit_msg>just dealing with default fresh functions<commit_after>(** fresh helper functions. *)
(***
    Imandra Inc.
    Copyright (c) 2014 - 2020
    fresh.iml
*)
[@@@import "../src-core-time-defaults-pp/time_defaults_current_time.iml"];;
[@@@import "../src-core-utils-pp/current_time.iml"];;
[@@@import "../src-core/numeric.iml"];;
[@@@import "../src-core-time-defaults/time_defaults.iml"];;
[@@@program]

let count_string = ref 0;; 
let count_int = ref 0;;
let count_float = ref (Numeric.Float_6 0);;
let count_bool = ref true;;

let incr_string () = 
   count_string := !count_string + 1;
   Z.to_string !count_string
;;

let incr_int () = 
  count_int := !count_int + 1;
  !count_int
;;

let incr_float () = 
  count_float := Numeric.float_Add_6_6 !count_float (Numeric.Float_6 1);
  !count_float;;

let incr_bool () = 
  count_bool := not !count_bool;
  !count_bool
;;

let incr_UTCTimestamp () = 
  Time_defaults_current_time.get_current_utctimestamp ()
;;

let incr_UTCTimeOnly () = 
  Time_defaults.convert_utctimestamp_utctimeonly (incr_UTCTimestamp ())
;;

let incr_LocalMktDate () = 
  Time_defaults.convert_utctimestamp_localmktdate (incr_UTCTimestamp ())
;;

let incr_UTCDateOnly () = 
  Time_defaults.convert_utctimestamp_utcdateonly (incr_UTCTimestamp ())
;;

let incr_MonthYear () = 
  Time_defaults.convert_utctimestamp_monthyear (incr_UTCTimestamp ())
;;

[@@@logic]
{'fraction_non_alphanumeric': 0.1460885956644675, 'fraction_numerical': 0.011310084825636193, 'mean_word_length': 5.007547169811321, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '205877', 'n_tokens_mistral': 1283, 'n_tokens_neox': 1213, 'n_words': 188}