[−][src]Module gluon_check::kindcheck
Structs
KindCheck | Struct containing methods for kindchecking types |
Enums
KindError | Enumeration possible errors other than mismatch and occurs when kindchecking |
Functions
fmt_kind_error |
Type Definitions
Error | |
Result | |
SpannedError |