summaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--ast.ml2515logplainblame
-rw-r--r--ast_printer.ml8595logplainblame
-rw-r--r--ast_util.ml2659logplainblame
-rw-r--r--file_parser.ml565logplainblame
-rw-r--r--lexer.mll2631logplainblame
-rw-r--r--parser.mly5601logplainblame
-rw-r--r--rename.ml3728logplainblame
-rw-r--r--typing.ml7580logplainblame