Skip to main content
Module wellknown
logicaffeine_
kernel
0.11.0
Module wellknown
Module Items
Structs
In logicaffeine_
kernel::
dag
logicaffeine_kernel
::
dag
Module
wellknown
Copy item path
Source
Expand description
Names the kernel gives meaning to, interned once so every test is an id compare.
Structs
§
Quot
Names
One quotient’s four constants: its former, constructor, lift and induction principle.
Well
Known