Skip to main content

write_bundle_artifacts

karpal_std::prelude

Function write_bundle_artifacts 

Source 
pub fn write_bundle_artifacts(
    bundle: &ObligationBundle,
    layout: &ArtifactLayout,
    lean_module_name: &str,
    smt: &SmtConfig,
    lean: &LeanConfig,
) -> Result<ArtifactBatch, Error>