aboutsummaryrefslogtreecommitdiff
path: root/motus/lib/validity.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-24 09:26:23 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-24 13:39:39 +0100
commit95432043550bd4a41b4466395502bc3b748e6746 (patch)
tree2d1783c6a03eadc9d4be485130b58abd222dad20 /motus/lib/validity.mli
parentc2bd6982e5ed845293a38ae600c239cd50924d76 (diff)
Moved the wordlist into a set
Diffstat (limited to 'motus/lib/validity.mli')
0 files changed, 0 insertions, 0 deletions