summaryrefslogtreecommitdiff
path: root/lib/kernel
ModeNameSize
-rw-r--r--celebration.ml888logplainblame
-rw-r--r--celebration.mli488logplainblame
-rw-r--r--citation.ml768logplainblame
-rw-r--r--citation.mli335logplainblame
-rw-r--r--colour.ml575logplainblame
-rw-r--r--colour.mli206logplainblame
-rw-r--r--computus.ml1440logplainblame
-rw-r--r--computus.mli828logplainblame
-rw-r--r--date.ml3073logplainblame
-rw-r--r--date.mli1384logplainblame
-rw-r--r--date_spec.ml992logplainblame
-rw-r--r--date_spec.mli420logplainblame
-rw-r--r--dune90logplainblame
-rw-r--r--lang.ml833logplainblame
-rw-r--r--lang.mli394logplainblame
-rw-r--r--layer.ml2565logplainblame
-rw-r--r--layer.mli1018logplainblame
-rw-r--r--names.ml1017logplainblame
-rw-r--r--names.mli612logplainblame
-rw-r--r--overlay.ml4151logplainblame
-rw-r--r--overlay.mli1443logplainblame
-rw-r--r--record.ml1950logplainblame
-rw-r--r--record.mli680logplainblame
-rw-r--r--slug.ml1138logplainblame
-rw-r--r--slug.mli531logplainblame
-rw-r--r--subject.ml491logplainblame
-rw-r--r--subject.mli218logplainblame
-rw-r--r--temporal.ml674logplainblame
-rw-r--r--temporal.mli651logplainblame
-rw-r--r--validate.ml4707logplainblame
-rw-r--r--validate.mli631logplainblame
-rw-r--r--vocab.ml854logplainblame
-rw-r--r--vocab.mli854logplainblame
generated by cgit v1.3 (git 2.53.0) at 2026-09-19 12:48:06 +0000