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