aboutsummaryrefslogtreecommitdiff
path: root/motus/lib/validity.mli
diff options
context:
space:
mode:
Diffstat (limited to 'motus/lib/validity.mli')
-rw-r--r--motus/lib/validity.mli7
1 files changed, 6 insertions, 1 deletions
diff --git a/motus/lib/validity.mli b/motus/lib/validity.mli
index dfd876c..a3d8ae3 100644
--- a/motus/lib/validity.mli
+++ b/motus/lib/validity.mli
@@ -1,8 +1,13 @@
+module CharSet : Set.S with type elt = char
+
type t =
| Wellplaced
| Misplaced
| Missing
+val elements : float
+(** Number of elements in the sum type *)
+
val sequence : int -> t array Seq.t
(** Build a sequence of all the possible status for a given number of letters *)
@@ -11,7 +16,7 @@ val index_of_result : t array -> int
val index_to_result : base:int -> int -> t array
-val compare_words : string -> ref:string -> t array option
+val compare_words : string -> ref:string * CharSet.t -> t array option
val to_criteria : char -> int -> t -> Criteria.t list -> Criteria.t list