From e3088560b6eac99c39338af24c3ef8c81f379ea6 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Tue, 1 Mar 2022 11:49:55 +0100
Subject: Change in the entropy algorithm : prefer words in the final list
 instead of picking the first one with the greatest quantity of information

---
 motus/lib/wordlist.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'motus/lib/wordlist.ml')

diff --git a/motus/lib/wordlist.ml b/motus/lib/wordlist.ml
index 4a84ab0..733ca3a 100644
--- a/motus/lib/wordlist.ml
+++ b/motus/lib/wordlist.ml
@@ -25,3 +25,5 @@ let list_size = S.cardinal
 let remove_word t w = S.remove w t
 
 let pick = S.choose_opt
+
+let mem = S.mem
-- 
cgit v1.2.3