<commit_before>open Syntax

val emit_seq : ?spbefore:bool -> string -> ('a -> 'b) -> 'a list -> unit
val emit_comseq : ('a -> 'b) -> 'a list -> unit
val emit_barseq : ('a -> 'b) -> 'a list -> unit
val emit_var : Env.t -> term -> unit

module TypeDef :
  sig
    val emit : Env.t -> syndef list -> unit
  end

module JdgDef :
  sig val emit : Env.t -> judgment list -> unit end

module Rules :
  sig
    val emit_term :
      int ->
      (id, int) Hashtbl.t ->
      (id * decl) list -> id -> term -> unit
    val emit_eqs : (string, int) Hashtbl.t -> unit
    val emit_eqs' : (string, int list) Hashtbl.t -> unit
    val emit_jdg :
      int ->
      (id, int) Hashtbl.t ->
      (id * decl) list -> judgment -> unit
    val emit_pat_of_rule : string -> unit
    val emit_pat_of_jdg :
      int ->
      (id * decl) list ->
      judgment -> (id, int) Hashtbl.t
    val emit_pat_of_derivs : int -> unit
    val merge_tables :
      ('a, 'b list) Hashtbl.t -> ('a, int) Hashtbl.t -> 'b -> unit
    val emit_exp_of_premises :
      int ->
      string ->
      (id, int list) Hashtbl.t ->
      (id * decl) list -> premise list -> unit
    val emit_clause_of_rule :
      (id * decl) list -> rule -> unit
    val emit : (id * decl) list -> rule list -> unit
  end

val typedef : Env.t -> syndef list -> unit
val jdgdef : Env.t -> judgment list -> unit
val rules : Env.t -> rule list -> unit<commit_msg>implemented function to format rules in TeX<commit_after>open Syntax

val emit_seq : ?spbefore:bool -> string -> ('a -> 'b) -> 'a list -> unit
val emit_comseq : ('a -> 'b) -> 'a list -> unit
val emit_barseq : ('a -> 'b) -> 'a list -> unit
val emit_var : Env.t -> term -> unit

module TypeDef :
  sig
    val emit : Env.t -> syndef list -> unit
  end

module JdgDef :
  sig val emit : Env.t -> judgment list -> unit end

module Rules :
  sig
    val emit_term :
      int ->
      (id, int) Hashtbl.t ->
      (id * decl) list -> id -> term -> unit
    val emit_eqs : (string, int) Hashtbl.t -> unit
    val emit_eqs' : (string, int list) Hashtbl.t -> unit
    val emit_jdg :
      int ->
      (id, int) Hashtbl.t ->
      (id * decl) list -> judgment -> unit
    val emit_pat_of_rule : string -> unit
    val emit_pat_of_jdg :
      int ->
      (id * decl) list ->
      judgment -> (id, int) Hashtbl.t
    val emit_pat_of_derivs : int -> unit
    val merge_tables :
      ('a, 'b list) Hashtbl.t -> ('a, int) Hashtbl.t -> 'b -> unit
    val emit_exp_of_premises :
      int ->
      string ->
      (id, int list) Hashtbl.t ->
      (id * decl) list -> premise list -> unit
    val emit_clause_of_rule :
      (id * decl) list -> rule -> unit
    val emit : (id * decl) list -> rule list -> unit
  end

val typedef : Env.t -> syndef list -> unit
val jdgdef : Env.t -> judgment list -> unit
val rules : Env.t -> rule list -> unit
val tex_rules : rule list -> unit
{'fraction_non_alphanumeric': 0.14480111653872993, 'fraction_numerical': 0.0, 'mean_word_length': 2.0467587672688627, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 106, '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': '2037928', 'n_tokens_mistral': 1023, 'n_tokens_neox': 1012, 'n_words': 342}