<commit_before>------------------------------------------------------------------------------
-- All the common modules
------------------------------------------------------------------------------

module Common.Everything where

open import Common.Data.Empty
open import Common.Data.Product
open import Common.Data.Sum
open import Common.Data.Unit

open import Common.Function

open import Common.LogicalConstants

open import Common.Relation.Binary.PreorderReasoning
open import Common.Relation.Binary.PropositionalEquality
open import Common.Relation.Unary

open import Common.Universe
<commit_msg>Added missing module.<commit_after>------------------------------------------------------------------------------
-- All the common modules
------------------------------------------------------------------------------

module Common.Everything where

open import Common.Data.Empty
open import Common.Data.Product
open import Common.Data.Sum
open import Common.Data.Unit

open import Common.Function

open import Common.LogicalConstants

open import Common.Relation.Binary.PreorderReasoning
open import Common.Relation.Binary.PropositionalEquality
open import Common.Relation.Nullary
open import Common.Relation.Unary

open import Common.Universe

{'fraction_non_alphanumeric': 0.292, 'fraction_numerical': 0.0, 'mean_word_length': 1.737417943107221, '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': '6407709', 'n_tokens_mistral': 259, 'n_tokens_neox': 252, 'n_words': 81}