[−][src]Module lark_ty::base_inferred
A type family where we have fully inferred all the "base types" --
but all permissions are erased. This is the output of the
base_type_check query.
Structs
| Base | |
| BaseInferred | |
| BaseInferredTables |
A type family where we have fully inferred all the "base types" --
but all permissions are erased. This is the output of the
base_type_check query.
| Base | |
| BaseInferred | |
| BaseInferredTables |