aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore48logplain
-rw-r--r--.ocamlformat248logplain
d---------bin71logplain
-rwxr-xr-xdune-project511logplain
d---------examples301logplain
d---------lib388logplain
-rw-r--r--readme.rst21001logplain
d---------tests855logplain