Skip to main content

Module context

Module context 

Source
Expand description

Definition of InferCtxtLike from the librarified type layer.

Structsยง

LowerUniverseFolder ๐Ÿ”’
Canonicalizing inputs puts all inference variables and placeholders into the root universe.

Functionsยง

lower_universe ๐Ÿ”’