Module lark_ty::full_inferred

A type family where we have fully inferred all the types. Permissions are partly erased (aliasing information lost). This is the output of the full_type_check query.

Structs

Base
FullInferred
FullInferredTables