<commit_before>open Prims
let id : 'Aa . 'Aa -> 'Aa = fun x  -> x 
type 'Aheap st_pre_h = 'Aheap -> Obj.t[@@deriving show]
type ('Aheap,'Aa,'Apre) st_post_h' = 'Aa -> 'Aheap -> Obj.t[@@deriving show]
type ('Aheap,'Aa) st_post_h = ('Aheap,'Aa,Prims.unit) st_post_h'[@@deriving
                                                                  show]
type ('Aheap,'Aa) st_wp_h = Prims.unit -> 'Aheap st_pre_h[@@deriving show]
type ('Aheap,'Aa,'Ax,'Ap,'Auu___7_85) st_return = 'Ap[@@deriving show]
type ('Aheap,'Ar1,'Aa,'Ab,'Awp1,'Awp2,'Ap,'Ah0) st_bind_wp = 'Awp1[@@deriving
                                                                    show]
type ('Aheap,'Aa,'Ap,'Awp_then,'Awp_else,'Apost,'Ah0) st_if_then_else =
  Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp,'Apost,'Ah0) st_ite_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp1,'Awp2) st_stronger = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ab,'Awp,'Ap,'Ah) st_close_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) st_assert_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) st_assume_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Ah) st_null_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp) st_trivial = Prims.unit[@@deriving show]
type 'Aa result =
  | V of 'Aa 
  | E of Prims.exn 
  | Err of Prims.string [@@deriving show]
let uu___is_V : 'Aa . 'Aa result -> Prims.bool =
  fun projectee  -> match projectee with | V v -> true | uu____602 -> false 
let __proj__V__item__v : 'Aa . 'Aa result -> 'Aa =
  fun projectee  -> match projectee with | V v -> v 
let uu___is_E : 'Aa . 'Aa result -> Prims.bool =
  fun projectee  -> match projectee with | E e -> true | uu____632 -> false 
let __proj__E__item__e : 'Aa . 'Aa result -> Prims.exn =
  fun projectee  -> match projectee with | E e -> e 
let uu___is_Err : 'Aa . 'Aa result -> Prims.bool =
  fun projectee  ->
    match projectee with | Err msg -> true | uu____662 -> false
  
let __proj__Err__item__msg : 'Aa . 'Aa result -> Prims.string =
  fun projectee  -> match projectee with | Err msg -> msg 
type ex_pre = Obj.t[@@deriving show]
type ('Aa,'Apre) ex_post' = 'Aa result -> Obj.t[@@deriving show]
type 'Aa ex_post = ('Aa,Prims.unit) ex_post'[@@deriving show]
type 'Aa ex_wp = Prims.unit -> ex_pre[@@deriving show]
type ('Aa,'Ax,'Ap) ex_return = 'Ap[@@deriving show]
type ('Ar1,'Aa,'Ab,'Awp1,'Awp2,'Ap) ex_bind_wp = Prims.unit[@@deriving show]
type ('Aa,'Awp,'Apost) ex_ite_wp = Prims.unit[@@deriving show]
type ('Aa,'Ap,'Awp_then,'Awp_else,'Apost) ex_if_then_else = Prims.unit
[@@deriving show]
type ('Aa,'Awp1,'Awp2) ex_stronger = Prims.unit[@@deriving show]
type ('Aa,'Ab,'Awp,'Ap) ex_close_wp = Prims.unit[@@deriving show]
type ('Aa,'Aq,'Awp,'Ap) ex_assert_p = Prims.unit[@@deriving show]
type ('Aa,'Aq,'Awp,'Ap) ex_assume_p = Prims.unit[@@deriving show]
type ('Aa,'Ap) ex_null_wp = Prims.unit[@@deriving show]
type ('Aa,'Awp) ex_trivial = 'Awp[@@deriving show]
type ('Aa,'Awp,'Ap) lift_div_exn = 'Awp[@@deriving show]
type 'Ah all_pre_h = 'Ah -> Obj.t[@@deriving show]
type ('Ah,'Aa,'Apre) all_post_h' = 'Aa result -> 'Ah -> Obj.t[@@deriving
                                                               show]
type ('Ah,'Aa) all_post_h = ('Ah,'Aa,Prims.unit) all_post_h'[@@deriving show]
type ('Ah,'Aa) all_wp_h = Prims.unit -> 'Ah all_pre_h[@@deriving show]
type ('Aheap,'Aa,'Awp,'Apost,'Ah0) all_ite_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ax,'Ap,'Auu___10_1277) all_return = 'Ap[@@deriving show]
type ('Aheap,'Ar1,'Aa,'Ab,'Awp1,'Awp2,'Ap,'Ah0) all_bind_wp = 'Awp1[@@deriving
                                                                    show]
type ('Aheap,'Aa,'Ap,'Awp_then,'Awp_else,'Apost,'Ah0) all_if_then_else =
  Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp1,'Awp2) all_stronger = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ab,'Awp,'Ap,'Ah) all_close_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) all_assert_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) all_assume_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Ah0) all_null_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp) all_trivial = Prims.unit[@@deriving show]
type 'Aa inversion = Prims.unit[@@deriving show]
let allow_inversion : 'Aa . Prims.unit = () 
let invertOption : 'Aa . Prims.unit -> Prims.unit = fun uu____1689  -> () 
type ('a,'b) either =
  | Inl of 'a <commit_msg>snap after merge<commit_after>open Prims
let id : 'Aa . 'Aa -> 'Aa = fun x  -> x 
type 'Aheap st_pre_h = 'Aheap -> Obj.t[@@deriving show]
type ('Aheap,'Aa,'Apre) st_post_h' = 'Aa -> 'Aheap -> Obj.t[@@deriving show]
type ('Aheap,'Aa) st_post_h = ('Aheap,'Aa,Prims.unit) st_post_h'[@@deriving
                                                                  show]
type ('Aheap,'Aa) st_wp_h = Prims.unit -> 'Aheap st_pre_h[@@deriving show]
type ('Aheap,'Aa,'Ax,'Ap,'Auu___6_85) st_return = 'Ap[@@deriving show]
type ('Aheap,'Ar1,'Aa,'Ab,'Awp1,'Awp2,'Ap,'Ah0) st_bind_wp = 'Awp1[@@deriving
                                                                    show]
type ('Aheap,'Aa,'Ap,'Awp_then,'Awp_else,'Apost,'Ah0) st_if_then_else =
  Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp,'Apost,'Ah0) st_ite_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp1,'Awp2) st_stronger = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ab,'Awp,'Ap,'Ah) st_close_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) st_assert_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) st_assume_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Ah) st_null_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp) st_trivial = Prims.unit[@@deriving show]
type 'Aa result =
  | V of 'Aa 
  | E of Prims.exn 
  | Err of Prims.string [@@deriving show]
let uu___is_V : 'Aa . 'Aa result -> Prims.bool =
  fun projectee  -> match projectee with | V v -> true | uu____602 -> false 
let __proj__V__item__v : 'Aa . 'Aa result -> 'Aa =
  fun projectee  -> match projectee with | V v -> v 
let uu___is_E : 'Aa . 'Aa result -> Prims.bool =
  fun projectee  -> match projectee with | E e -> true | uu____632 -> false 
let __proj__E__item__e : 'Aa . 'Aa result -> Prims.exn =
  fun projectee  -> match projectee with | E e -> e 
let uu___is_Err : 'Aa . 'Aa result -> Prims.bool =
  fun projectee  ->
    match projectee with | Err msg -> true | uu____662 -> false
  
let __proj__Err__item__msg : 'Aa . 'Aa result -> Prims.string =
  fun projectee  -> match projectee with | Err msg -> msg 
type ex_pre = Obj.t[@@deriving show]
type ('Aa,'Apre) ex_post' = 'Aa result -> Obj.t[@@deriving show]
type 'Aa ex_post = ('Aa,Prims.unit) ex_post'[@@deriving show]
type 'Aa ex_wp = Prims.unit -> ex_pre[@@deriving show]
type ('Aa,'Ax,'Ap) ex_return = 'Ap[@@deriving show]
type ('Ar1,'Aa,'Ab,'Awp1,'Awp2,'Ap) ex_bind_wp = Prims.unit[@@deriving show]
type ('Aa,'Awp,'Apost) ex_ite_wp = Prims.unit[@@deriving show]
type ('Aa,'Ap,'Awp_then,'Awp_else,'Apost) ex_if_then_else = Prims.unit
[@@deriving show]
type ('Aa,'Awp1,'Awp2) ex_stronger = Prims.unit[@@deriving show]
type ('Aa,'Ab,'Awp,'Ap) ex_close_wp = Prims.unit[@@deriving show]
type ('Aa,'Aq,'Awp,'Ap) ex_assert_p = Prims.unit[@@deriving show]
type ('Aa,'Aq,'Awp,'Ap) ex_assume_p = Prims.unit[@@deriving show]
type ('Aa,'Ap) ex_null_wp = Prims.unit[@@deriving show]
type ('Aa,'Awp) ex_trivial = 'Awp[@@deriving show]
type ('Aa,'Awp,'Ap) lift_div_exn = 'Awp[@@deriving show]
type 'Ah all_pre_h = 'Ah -> Obj.t[@@deriving show]
type ('Ah,'Aa,'Apre) all_post_h' = 'Aa result -> 'Ah -> Obj.t[@@deriving
                                                               show]
type ('Ah,'Aa) all_post_h = ('Ah,'Aa,Prims.unit) all_post_h'[@@deriving show]
type ('Ah,'Aa) all_wp_h = Prims.unit -> 'Ah all_pre_h[@@deriving show]
type ('Aheap,'Aa,'Awp,'Apost,'Ah0) all_ite_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ax,'Ap,'Auu___9_1277) all_return = 'Ap[@@deriving show]
type ('Aheap,'Ar1,'Aa,'Ab,'Awp1,'Awp2,'Ap,'Ah0) all_bind_wp = 'Awp1[@@deriving
                                                                    show]
type ('Aheap,'Aa,'Ap,'Awp_then,'Awp_else,'Apost,'Ah0) all_if_then_else =
  Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp1,'Awp2) all_stronger = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ab,'Awp,'Ap,'Ah) all_close_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) all_assert_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Awp,'Aq,'Ah) all_assume_p = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Ap,'Ah0) all_null_wp = Prims.unit[@@deriving show]
type ('Aheap,'Aa,'Awp) all_trivial = Prims.unit[@@deriving show]
type 'Aa inversion = Prims.unit[@@deriving show]
let allow_inversion : 'Aa . Prims.unit = () 
let invertOption : 'Aa . Prims.unit -> Prims.unit = fun uu____1689  -> () 
type ('a,'b) either =
  | Inl of 'a 
{'fraction_non_alphanumeric': 0.18649444822116473, 'fraction_numerical': 0.010310446408338999, 'mean_word_length': 3.917548746518106, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 73, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 16, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5433487', 'n_tokens_mistral': 3661, 'n_tokens_neox': 3611, 'n_words': 738}