<commit_before>
(* This file is free software, part of Zipperposition. See file "license" for more details. *)

(** {1 Input Format} *)

type t =
  | I_tptp
  | I_zf
  | I_tip

let tptp : t = I_tptp
let tip : t = I_tip
let zf : t = I_zf
let default : t = zf

let pp out (i:t) = match i with
  | I_tptp -> CCFormat.string out "tptp"
  | I_zf -> CCFormat.string out "zf"
  | I_tip -> CCFormat.string out "tip"

(** What to do when we have an undefined ID in the corresponding format? *)
let on_undef_id (i:t) = match i with
  | I_tptp -> `Guess
  | I_tip -> `Fail
  | I_zf -> `Warn

(** what to do when we have a variable without a type declaration? *)
let on_var (i:t) = match i with
  | I_tptp -> `Default
  | I_tip
  | I_zf -> `Infer
<commit_msg>require all identifiers be declared properly in zf<commit_after>
(* This file is free software, part of Zipperposition. See file "license" for more details. *)

(** {1 Input Format} *)

type t =
  | I_tptp
  | I_zf
  | I_tip

let tptp : t = I_tptp
let tip : t = I_tip
let zf : t = I_zf
let default : t = zf

let pp out (i:t) = match i with
  | I_tptp -> CCFormat.string out "tptp"
  | I_zf -> CCFormat.string out "zf"
  | I_tip -> CCFormat.string out "tip"

(** What to do when we have an undefined ID in the corresponding format? *)
let on_undef_id (i:t) = match i with
  | I_tptp -> `Guess
  | I_tip
  | I_zf -> `Fail

(** what to do when we have a variable without a type declaration? *)
let on_var (i:t) = match i with
  | I_tptp -> `Default
  | I_tip
  | I_zf -> `Infer

{'fraction_non_alphanumeric': 0.12155059132720106, 'fraction_numerical': 0.001314060446780552, 'mean_word_length': 2.976501305483029, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 18, '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': '5777616', 'n_tokens_mistral': 611, 'n_tokens_neox': 604, 'n_words': 218}