Lib.rs

A lot of transformations that we can apply into kind trees.

• [desugar][desugar] - That desugars the sugared tree into a version that does not contain a lot of constructions like match, inductive types etc.
• [erasure][erasure] - Erases all of the definitions that are marked as erased from the runtime.
• [expand][expand] - Expand some attributes and derivations of each construction.
• [unbound][unbound] - Collects all of the unbound definitions and check the linearity of them.
• [inline][inline] - Inlines expressions