summaryrefslogtreecommitdiff
path: root/frontend
ModeNameSize
-rw-r--r--ast.ml2515logplainblame
-rw-r--r--ast_printer.ml8534logplainblame
-rw-r--r--ast_util.ml2659logplainblame
-rw-r--r--file_parser.ml565logplainblame
-rw-r--r--lexer.mll2455logplainblame
-rw-r--r--parser.mly6035logplainblame
-rw-r--r--rename.ml3728logplainblame
-rw-r--r--typing.ml7317logplainblame