<commit_before>let edeclare ?hook ~name ~poly ~scope ~kind ~opaque ~udecl ~impargs sigma body tyopt  =
  DeclareDef.declare_definition ~name ~scope ~kind ~impargs ?hook
    ~opaque ~poly ~udecl ~types:tyopt ~body sigma

let declare_definition ~poly name sigma body =
  let udecl = UState.default_univ_decl in
  edeclare ~name ~poly ~scope:(DeclareDef.Global Declare.ImportDefaultBehavior)
    ~kind:Decls.(IsDefinition Definition) ~opaque:false ~impargs:[] ~udecl sigma body None<commit_msg>[nit] [plugin_tuto] Remove empty function and use new API directly<commit_after>let declare_definition ~poly name sigma body =
  let udecl = UState.default_univ_decl in
  let scope = DeclareDef.Global Declare.ImportDefaultBehavior in
  let kind = Decls.(IsDefinition Definition) in
  DeclareDef.declare_definition ~name ~scope ~kind ~impargs:[] ~udecl
    ~opaque:false ~poly ~types:None ~body sigma
{'fraction_non_alphanumeric': 0.09101123595505618, 'fraction_numerical': 0.0, 'mean_word_length': 5.75, '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': '970534', 'n_tokens_mistral': 286, 'n_tokens_neox': 279, 'n_words': 87}