aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml3723logstatsplainblame
-rw-r--r--Branch.mli276logstatsplainblame
-rw-r--r--BranchManager.ml3442logstatsplainblame
-rw-r--r--BranchManager.mli150logstatsplainblame
-rw-r--r--EphemeralRelation.ml3506logstatsplainblame
-rw-r--r--EphemeralRelation.mli863logstatsplainblame
-rw-r--r--Generator.ml1959logstatsplainblame
-rw-r--r--Generator.mli156logstatsplainblame
-rw-r--r--Identity.ml157logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml410logstatsplainblame
-rw-r--r--Initialization.mli146logstatsplainblame
-rw-r--r--Lifecycle.ml537logstatsplainblame
-rw-r--r--Lifecycle.mli259logstatsplainblame
-rw-r--r--Merkle.ml15386logstatsplainblame
-rw-r--r--Multigroup.ml2441logstatsplainblame
-rw-r--r--Multigroup.mli268logstatsplainblame
-rw-r--r--Namespace.ml926logstatsplainblame
-rw-r--r--Namespace.mli188logstatsplainblame
-rw-r--r--Path.ml638logstatsplainblame
-rw-r--r--Path.mli182logstatsplainblame
-rw-r--r--Prototype.ml1256logstatsplainblame
-rw-r--r--Prototype.mli535logstatsplainblame
-rw-r--r--Storage.ml1567logstatsplainblame
-rw-r--r--Storage.mli910logstatsplainblame
-rw-r--r--SubstantialRelation.ml8134logstatsplainblame
-rw-r--r--SubstantialRelation.mli2461logstatsplainblame
-rw-r--r--Tuple.ml4564logstatsplainblame
generated by cgit v1.2.3 (git 2.25.1) at 2026-11-04 05:47:59 +0000