| 1.0.8 |
|
|---|---|
| 1.0.7 |
|
| 1.0.6 |
|
| 1.0.5 |
|
#27 in #leo
670KB
11K
SLoC
A type inference check for a Leo program.
This module contains the TypeInference type, which stores information needed to run a type
inference check over a program.
A new TypeInference type can be created from a LeoAst type and a [Symbol Table].
Dependencies
~14–27MB
~439K SLoC