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