| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alias.ml | 3772 | logplainblame |
| -rw-r--r-- | dead.ml | 3262 | logplainblame |
| -rw-r--r-- | dwarf.ml | 98366 | logplainblame |
| -rw-r--r-- | effect.ml | 10071 | logplainblame |
| -rw-r--r-- | layout.ml | 16120 | logplainblame |
| -rw-r--r-- | loop.ml | 3850 | logplainblame |
| -rw-r--r-- | resolve.ml | 35426 | logplainblame |
| -rw-r--r-- | semant.ml | 69806 | logplainblame |
| -rw-r--r-- | trans.ml | 182329 | logplainblame |
| -rw-r--r-- | transutil.ml | 6953 | logplainblame |
| -rw-r--r-- | type.ml | 35536 | logplainblame |
| -rw-r--r-- | typestate.ml | 40498 | logplainblame |
| -rw-r--r-- | walk.ml | 15507 | logplainblame |