Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | builder.rs | 7780 | logstatsplain |
-rw-r--r-- | builtin_traits.rs | 4673 | logstatsplain |
d--------- | builtin_traits | 308 | logstatsplain |
-rw-r--r-- | dyn_ty.rs | 3114 | logstatsplain |
-rw-r--r-- | env_elaborator.rs | 3789 | logstatsplain |
-rw-r--r-- | generalize.rs | 3364 | logstatsplain |
-rw-r--r-- | program_clauses.rs | 34603 | logstatsplain |
-rw-r--r-- | super_traits.rs | 4770 | logstatsplain |