[−][src]Module minitt::check::read_back
Read back: read back functions and normal form definitions.
Converting terms to normal forms with de-bruijn indices so we do not need to deal with alpha conversions when checking syntactic-equality.
Functions in this module are put into impl for
blocks, their docs can be found in:
Depends on modules syntax
.
Enums
NormalExpression |
|
Traits
ReadBack | Since all of |
Functions
generate_value |
|
read_back_branches |
Type Definitions
NormalCase | |
NormalCaseTree |
|
NormalNeutral |
|
NormalTelescope |
|