aboutsummaryrefslogtreecommitdiffstats
path: root/lib
ModeNameSize
-rw-r--r--core_functions.ml242logstatsplainblame
-rw-r--r--core_types.ml91logstatsplainblame
-rw-r--r--dune1011logstatsplainblame
-rw-r--r--interop.ml342logstatsplainblame
-rw-r--r--relation.ml2091logstatsplainblame