[−][src]Crate chalk_recursive
Modules
solve |
Structs
RecursiveSolver | |
SolutionDisplay |
Enums
Guidance | When a goal holds ambiguously (e.g., because there are multiple possible solutions), we issue a set of guidance back to type inference. |
Solution | A (possible) solution for a proposed goal. |
Type Definitions
UCanonicalGoal |