Expand description
Result types for the translation validator.
Enums§
- Soundness
Report - Outcome of cross-validating the LOGOS encoder against the tree-walking interpreter
on one program (the meta-soundness check,
work/PE_IMPROVE.md §4.2). - TvError
- Why building a symbolic summary failed.