Skip to main content

assemble

logicaffeine_cli::interface::lean::package

Function assemble 

Source 
pub fn assemble(
    export: &str,
    target: &str,
) -> Result<BTreeMap<String, Vec<u8>>, 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.