aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml6476logstatsplainblame
-rw-r--r--Branch.mli542logstatsplainblame
-rw-r--r--BranchManager.ml3930logstatsplainblame
-rw-r--r--BranchManager.mli333logstatsplainblame
-rw-r--r--EphemeralRelation.ml7279logstatsplainblame
-rw-r--r--Generator.ml1992logstatsplainblame
-rw-r--r--Identity.ml163logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml1648logstatsplainblame
-rw-r--r--Initialization.mli684logstatsplainblame
-rw-r--r--Lifecycle.ml985logstatsplainblame
-rw-r--r--Lifecycle.mli655logstatsplainblame
-rw-r--r--Merkle.ml17522logstatsplainblame
-rw-r--r--Multigroup.ml5387logstatsplainblame
-rw-r--r--Multigroup.mli515logstatsplainblame
-rw-r--r--Namespace.ml966logstatsplainblame
-rw-r--r--Namespace.mli188logstatsplainblame
-rw-r--r--Path.ml5797logstatsplainblame
-rw-r--r--Path.mli1341logstatsplainblame
-rw-r--r--Prototype.ml3261logstatsplainblame
-rw-r--r--Prototype.mli1660logstatsplainblame
-rw-r--r--Scope.ml5377logstatsplainblame
-rw-r--r--Scope.mli2446logstatsplainblame
-rw-r--r--Session.ml987logstatsplainblame
-rw-r--r--Session.mli166logstatsplainblame
-rw-r--r--Source.ml3313logstatsplainblame
-rw-r--r--Source.mli2331logstatsplainblame
-rw-r--r--Storage.ml1678logstatsplainblame
-rw-r--r--Storage.mli1102logstatsplainblame
-rw-r--r--SubstantialRelation.ml5813logstatsplainblame
-rw-r--r--Tuple.ml4903logstatsplainblame
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 06:14:54 +0000