<commit_before>
#############################################################################
#
# context.py
#
# description: the type containing the local context.
#
#
# Authors:
# <NAME>
#
#
#
##############################################################################

def init_context():
    """Return a dictionary with initial context information.

    - `decls`: declarations, a name corresponds to a constant.
    - `hyps`:  declerations of constants of type Bool
    - `defs`: sends the name of a defined constant to its definition.
    - `defs`: declarations of inequalities to be treated as subtype assertions
    - `rew_rules`: declarations of equalities to be treated as reduction
    rules.
    - `classes`: declarations of constants of type Type -> Type, represening
    type classes, paired with a list of constants representing the methods
    to those classes.
    - `class_def`: the definitions of the classes in terms of sigma-types,<commit_msg>fixed typos in comments<commit_after>
#############################################################################
#
# context.py
#
# description: the type containing the local context.
#
#
# Authors:
# <NAME>
#
#
#
##############################################################################

def init_context():
    """Return a dictionary with initial context information.

    - `decls`: declarations, a name corresponds to a constant.
    - `hyps`:  declarations of constants of type Bool
    - `defs`: sends the name of a defined constant to its definition.
    - `defs`: declarations of inequalities to be treated as subtype assertions
    - `rew_rules`: declarations of equalities to be treated as reduction
    rules.
    - `classes`: declarations of constants of type Type -> Type, representing
    type classes, paired with a list of constants representing the methods
    to those classes.
    - `class_def`: the definitions of the classes in terms of sigma-types,
{'fraction_non_alphanumeric': 0.22724935732647814, 'fraction_numerical': 0.0, 'mean_word_length': 4.288043478260869, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 7, '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': '2058256', 'n_tokens_mistral': 492, 'n_tokens_neox': 442, 'n_words': 200}