diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-26 13:42:32 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-26 15:19:51 +0100 |
commit | 84b8439aa90f1465d05dcba936a25eaf96f914a0 (patch) | |
tree | eb50a0a305d14d8591acb51e5ab745dcdd3e1f88 /motus/lib/validity.mli | |
parent | 4eff667b92ff7ef4c3542650509c03fb0de5cbce (diff) |
Use the whole dictionnary when searching for a word for a faster exploration
Diffstat (limited to 'motus/lib/validity.mli')
-rw-r--r-- | motus/lib/validity.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/motus/lib/validity.mli b/motus/lib/validity.mli index a3d8ae3..3a59775 100644 --- a/motus/lib/validity.mli +++ b/motus/lib/validity.mli @@ -1,5 +1,3 @@ -module CharSet : Set.S with type elt = char - type t = | Wellplaced | Misplaced @@ -16,8 +14,6 @@ val index_of_result : t array -> int val index_to_result : base:int -> int -> t array -val compare_words : string -> ref:string * CharSet.t -> t array option - val to_criteria : char -> int -> t -> Criteria.t list -> Criteria.t list val to_criterias : string -> t array -> Criteria.t list |