<commit_before>
module Map (empty,singleton,insert,lookup,remove,member,fold) where

import Data.Maybe (isJust)

data NColor = Red | Black

data RBTree k v = RBNode NColor k v (RBTree k v) (RBTree k v) | RBEmpty

raise = console.log

empty = RBEmpty

-- Helpers for checking invariants

-- Check that the tree has an equal number of black nodes on each path
equal_pathLen t = 
  let path_numBlacks t =
     case t of
     { RBEmpty -> 1<commit_msg>Change name from Map to Dict.<commit_after>
module Dict (empty,singleton,insert,lookup,remove,member,fold) where

import Data.Maybe (isJust)

data NColor = Red | Black

data RBTree k v = RBNode NColor k v (RBTree k v) (RBTree k v) | RBEmpty

raise = console.log

empty = RBEmpty

-- Helpers for checking invariants

-- Check that the tree has an equal number of black nodes on each path
equal_pathLen t = 
  let path_numBlacks t =
     case t of
     { RBEmpty -> 1
{'fraction_non_alphanumeric': 0.0755750273822563, 'fraction_numerical': 0.002190580503833516, 'mean_word_length': 3.5472636815920398, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 5, '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': '4846678', 'n_tokens_mistral': 312, 'n_tokens_neox': 305, 'n_words': 122}