aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml6428logstatsplainblame
-rw-r--r--Branch.mli528logstatsplainblame
-rw-r--r--BranchManager.ml3900logstatsplainblame
-rw-r--r--BranchManager.mli337logstatsplainblame
-rw-r--r--EphemeralRelation.ml7279logstatsplainblame
-rw-r--r--Generator.ml1992logstatsplainblame
-rw-r--r--Identity.ml163logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml1973logstatsplainblame
-rw-r--r--Initialization.mli641logstatsplainblame
-rw-r--r--Lifecycle.ml985logstatsplainblame
-rw-r--r--Lifecycle.mli655logstatsplainblame
-rw-r--r--Merkle.ml17522logstatsplainblame
-rw-r--r--Multigroup.ml6097logstatsplainblame
-rw-r--r--Multigroup.mli687logstatsplainblame
-rw-r--r--Namespace.ml966logstatsplainblame
-rw-r--r--Namespace.mli188logstatsplainblame
-rw-r--r--Path.ml6787logstatsplainblame
-rw-r--r--Path.mli1641logstatsplainblame
-rw-r--r--Prototype.ml3856logstatsplainblame
-rw-r--r--Prototype.mli2116logstatsplainblame
-rw-r--r--Schema.ml7866logstatsplainblame
-rw-r--r--Schema.mli833logstatsplainblame
-rw-r--r--Scope.ml5377logstatsplainblame
-rw-r--r--Scope.mli2446logstatsplainblame
-rw-r--r--Session.ml935logstatsplainblame
-rw-r--r--Session.mli128logstatsplainblame
-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 04:55:40 +0000