Module trivial_kernel::table [−][src]
Structs
| Sort_ | |
| Table_ | |
| Term_ | |
| Theorem_ |
Traits
| Sort | A handle to a sort. |
| Table | An interface that enables queries for properties of sorts, terms and theorems. |
| Term | A handle to a term. |
| Theorem | A handle to a theorem. |