[−][src]Module minitt::read_back
Read back: read back functions.
Converting terms to normal forms with de-bruijn indices so we do not need to deal with alpha conversions.
Functions in this module are put into impl for
blocks, their docs can be found in:
Depends on modules syntax
and normal
.
Traits
ReadBack | Since all of |
Functions
generate_value |
|