pub fn reconstruct(program: &Program) -> Result<String, ReconstructError>Expand description
Reconstruct a validated WIR program into deterministic OPY source.
Resolves builtin identities through the built-in OPY semantic manifest
and the built-in Workshop catalog (en-US), the declared surface for
reconstruction (issue #124). Returns an error carrying every
non-representable construct diagnostic when the program cannot be
reconstructed.