pub fn assemble(export: &str, target: &str) -> Result<PackageFiles, Verdict>Expand description
Build the package for target from a Lean export, and require that every stage the producing
run can establish passed. A package is returned only when it would replay clean.