Module reproto_trans::translated

Structs

DeclIter	Iterator over all declarations in a file.
ForEachFile	Iterate over all files in the environment.
ToplevelDeclIter	Iterator over all toplevel declarations.
Translated	An environment that has been translated into a target environment.