Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | exhaustiveness_warnings.ml | 2359 | logplain |
-rw-r--r-- | no_mixing_under_guard.ml | 428 | logplain |
-rw-r--r-- | no_value_clauses.ml | 294 | logplain |
-rw-r--r-- | placement.ml | 2800 | logplain |
-rw-r--r-- | pr7083.ml | 144 | logplain |
-rw-r--r-- | reachability.ml | 997 | logplain |