Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | exhaustiveness_warnings.ml | 2356 | logplain |
-rw-r--r-- | no_mixing_under_guard.ml | 425 | logplain |
-rw-r--r-- | no_value_clauses.ml | 291 | logplain |
-rw-r--r-- | placement.ml | 2797 | logplain |
-rw-r--r-- | pr7083.ml | 141 | logplain |
-rw-r--r-- | reachability.ml | 994 | logplain |