aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml5733logstatsplainblame
-rw-r--r--Branch.mli276logstatsplainblame
-rw-r--r--BranchManager.ml3785logstatsplainblame
-rw-r--r--BranchManager.mli150logstatsplainblame
-rw-r--r--EphemeralRelation.ml2518logstatsplainblame
-rw-r--r--EphemeralRelation.mli1365logstatsplainblame
-rw-r--r--Generator.ml2010logstatsplainblame
-rw-r--r--Identity.ml157logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml846logstatsplainblame
-rw-r--r--Initialization.mli208logstatsplainblame
-rw-r--r--Lifecycle.ml807logstatsplainblame
-rw-r--r--Lifecycle.mli627logstatsplainblame
-rw-r--r--Merkle.ml15442logstatsplainblame
-rw-r--r--Multigroup.ml2966logstatsplainblame
-rw-r--r--Multigroup.mli354logstatsplainblame
-rw-r--r--Namespace.ml960logstatsplainblame
-rw-r--r--Namespace.mli188logstatsplainblame
-rw-r--r--Path.ml1925logstatsplainblame
-rw-r--r--Path.mli437logstatsplainblame
-rw-r--r--Prototype.ml3382logstatsplainblame
-rw-r--r--Prototype.mli1560logstatsplainblame
-rw-r--r--Storage.ml1684logstatsplainblame
-rw-r--r--Storage.mli1050logstatsplainblame
-rw-r--r--SubstantialRelation.ml8622logstatsplainblame
-rw-r--r--SubstantialRelation.mli1842logstatsplainblame
-rw-r--r--Tuple.ml4907logstatsplainblame
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 11:25:58 +0000