aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols
ModeNameSize
-rw-r--r--Context.ml1194logstatsplainblame
-rw-r--r--Context.mli632logstatsplainblame
-rw-r--r--Cursor.ml2198logstatsplainblame
-rw-r--r--Cursor.mli692logstatsplainblame
-rw-r--r--Directory.ml523logstatsplainblame
-rw-r--r--Directory.mli497logstatsplainblame
-rw-r--r--Enumerable.ml821logstatsplainblame
-rw-r--r--Enumerable.mli412logstatsplainblame
-rw-r--r--Evaluator.ml497logstatsplainblame
-rw-r--r--Evaluator.mli407logstatsplainblame
-rw-r--r--Handle.ml1032logstatsplainblame
-rw-r--r--Handle.mli441logstatsplainblame
-rw-r--r--Program.ml594logstatsplainblame
-rw-r--r--Program.mli546logstatsplainblame
-rw-r--r--Registry.ml457logstatsplainblame
-rw-r--r--Registry.mli382logstatsplainblame
-rw-r--r--Relation.ml1119logstatsplainblame
-rw-r--r--Relation.mli986logstatsplainblame
-rw-r--r--Schematics.ml1049logstatsplainblame
-rw-r--r--Schematics.mli675logstatsplainblame