Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | clauses.rs | 44907 | logstatsplain |
d--------- | clauses | 336 | logstatsplain |
-rw-r--r-- | coherence.rs | 4823 | logstatsplain |
d--------- | coherence | 73 | logstatsplain |
-rw-r--r-- | coinductive_goal.rs | 1816 | logstatsplain |
-rw-r--r-- | display.rs | 7897 | logstatsplain |
d--------- | display | 298 | logstatsplain |
-rw-r--r-- | ext.rs | 5055 | logstatsplain |
-rw-r--r-- | goal_builder.rs | 5139 | logstatsplain |
-rw-r--r-- | infer.rs | 7803 | logstatsplain |
d--------- | infer | 271 | logstatsplain |
-rw-r--r-- | lib.rs | 8712 | logstatsplain |
-rw-r--r-- | logging.rs | 776 | logstatsplain |
-rw-r--r-- | logging_db.rs | 16364 | logstatsplain |
d--------- | logging_db | 43 | logstatsplain |
-rw-r--r-- | rust_ir.rs | 25435 | logstatsplain |
-rw-r--r-- | solve.rs | 12795 | logstatsplain |
d--------- | solve | 70 | logstatsplain |
-rw-r--r-- | split.rs | 7301 | logstatsplain |
-rw-r--r-- | wf.rs | 44760 | logstatsplain |