| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | alias.ml | 3776 | logplainblame |
| -rw-r--r-- | dead.ml | 3262 | logplainblame |
| -rw-r--r-- | dwarf.ml | 98380 | logplainblame |
| -rw-r--r-- | effect.ml | 10076 | logplainblame |
| -rw-r--r-- | layout.ml | 16125 | logplainblame |
| -rw-r--r-- | loop.ml | 3850 | logplainblame |
| -rw-r--r-- | resolve.ml | 35426 | logplainblame |
| -rw-r--r-- | semant.ml | 70331 | logplainblame |
| -rw-r--r-- | trans.ml | 175116 | logplainblame |
| -rw-r--r-- | transutil.ml | 6953 | logplainblame |
| -rw-r--r-- | type.ml | 58048 | logplainblame |
| -rw-r--r-- | typestate.ml | 40422 | logplainblame |
| -rw-r--r-- | walk.ml | 15516 | logplainblame |