aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml6772logstatsplainblame
-rw-r--r--Branch.mli528logstatsplainblame
-rw-r--r--BranchManager.ml4635logstatsplainblame
-rw-r--r--BranchManager.mli337logstatsplainblame
-rw-r--r--EphemeralRelation.ml7803logstatsplainblame
-rw-r--r--Generator.ml1994logstatsplainblame
-rw-r--r--Identity.ml163logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml1891logstatsplainblame
-rw-r--r--Initialization.mli641logstatsplainblame
-rw-r--r--Lifecycle.ml1100logstatsplainblame
-rw-r--r--Lifecycle.mli682logstatsplainblame
-rw-r--r--Merkle.ml18499logstatsplainblame
-rw-r--r--Multigroup.ml11317logstatsplainblame
-rw-r--r--Multigroup.mli772logstatsplainblame
-rw-r--r--Namespace.ml1209logstatsplainblame
-rw-r--r--Namespace.mli212logstatsplainblame
-rw-r--r--Path.ml6169logstatsplainblame
-rw-r--r--Path.mli1641logstatsplainblame
-rw-r--r--Program.ml2898logstatsplainblame
-rw-r--r--Prototype.ml3841logstatsplainblame
-rw-r--r--Prototype.mli2530logstatsplainblame
-rw-r--r--Scope.ml5635logstatsplainblame
-rw-r--r--Scope.mli2736logstatsplainblame
-rw-r--r--Session.ml959logstatsplainblame
-rw-r--r--Session.mli128logstatsplainblame
-rw-r--r--Storage.ml1674logstatsplainblame
-rw-r--r--Storage.mli1102logstatsplainblame
-rw-r--r--SubstantialRelation.ml5826logstatsplainblame
-rw-r--r--Tuple.ml4657logstatsplainblame
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 18:56:05 +0000