Expand description
Definition of InferCtxtLike from the librarified type layer.
Structsยง
- Lower
Universe ๐Folder - Canonicalizing inputs puts all inference variables and placeholders into the root universe.
Functionsยง
- lower_
universe ๐
Definition of InferCtxtLike from the librarified type layer.