| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alias.ml | 4439 | logplainblame |
| -rw-r--r-- | dead.ml | 3586 | logplainblame |
| -rw-r--r-- | dwarf.ml | 100841 | logplainblame |
| -rw-r--r-- | effect.ml | 9051 | logplainblame |
| -rw-r--r-- | layer.ml | 2822 | logplainblame |
| -rw-r--r-- | layout.ml | 16606 | logplainblame |
| -rw-r--r-- | loop.ml | 3926 | logplainblame |
| -rw-r--r-- | resolve.ml | 30854 | logplainblame |
| -rw-r--r-- | semant.ml | 85455 | logplainblame |
| -rw-r--r-- | simplify.ml | 2652 | logplainblame |
| -rw-r--r-- | trans.ml | 212393 | logplainblame |
| -rw-r--r-- | transutil.ml | 6856 | logplainblame |
| -rw-r--r-- | type.ml | 50669 | logplainblame |
| -rw-r--r-- | typestate.ml | 54578 | logplainblame |
| -rw-r--r-- | walk.ml | 17893 | logplainblame |