Module program_translation 

The public four-language translator: semantic translations of portable-core programs, and reversible target-native source envelopes for every other program.

Structs

DecodedProgramTranslation

Exact source program recovered from a portable target artifact.

ProgramTranslation

A target-language artifact: a semantic translation or a reversible source envelope.

Enums

ProgramTranslationError

Portable translation failure.

Functions

decode_program_translation

Decodes and integrity-checks a portable source envelope from target source.

read_translation_provenance

Reads the provenance comment a semantic translation starts with.

translate_program

Translates a program between JavaScript, Rust, Lean and Rocq.