| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | capture.rs | 3591 | logplainblame |
| -rw-r--r-- | fold.rs | 59870 | logplainblame |
| -rw-r--r-- | metadata.rs | 21921 | logplainblame |
| -rw-r--r-- | resolve.rs | 27261 | logplainblame |
| -rw-r--r-- | trans.rs | 267603 | logplainblame |
| -rw-r--r-- | ty.rs | 94555 | logplainblame |
| -rw-r--r-- | typeck.rs | 110165 | logplainblame |
| -rw-r--r-- | typestate_check.rs | 85456 | logplainblame |
| -rw-r--r-- | walk.rs | 14145 | logplainblame |