aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml5308logstatsplainblame
-rw-r--r--Branch.mli293logstatsplainblame
-rw-r--r--BranchManager.ml3870logstatsplainblame
-rw-r--r--BranchManager.mli150logstatsplainblame
-rw-r--r--EphemeralRelation.ml5298logstatsplainblame
-rw-r--r--Generator.ml1994logstatsplainblame
-rw-r--r--Identity.ml163logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml930logstatsplainblame
-rw-r--r--Initialization.mli208logstatsplainblame
-rw-r--r--Lifecycle.ml1100logstatsplainblame
-rw-r--r--Lifecycle.mli682logstatsplainblame
-rw-r--r--Merkle.ml15768logstatsplainblame
-rw-r--r--Multigroup.ml5345logstatsplainblame
-rw-r--r--Multigroup.mli353logstatsplainblame
-rw-r--r--Namespace.ml1233logstatsplainblame
-rw-r--r--Namespace.mli213logstatsplainblame
-rw-r--r--Path.ml2541logstatsplainblame
-rw-r--r--Path.mli523logstatsplainblame
-rw-r--r--Prototype.ml3261logstatsplainblame
-rw-r--r--Prototype.mli1660logstatsplainblame
-rw-r--r--Session.ml960logstatsplainblame
-rw-r--r--Session.mli128logstatsplainblame
-rw-r--r--Storage.ml1678logstatsplainblame
-rw-r--r--Storage.mli1102logstatsplainblame
-rw-r--r--SubstantialRelation.ml5249logstatsplainblame
-rw-r--r--Tuple.ml4903logstatsplainblame
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 13:33:13 +0000