Modules§
- pretty 🔒
Structs§
- Dummy
Env 🔒 - Infer
Ctxt - Infer
Ctxt At - Infer
Ctxt 🔒Inner - Infer
Ctxt Root - Infer
Ctxt Root Builder - Sub 🔒
- Context used to relate two types
aandbvia subtyping - Tag
Enums§
- Constr
Reason - Infer
Err - Subtype
Reason - Type
Trace 🔒 - Used for debugging to attach a “trace” to the
RefineTreethat can be used to print information to recover the derivation when relating types via subtyping. The code that attaches the trace is currently commented out because the output is too verbose.