Function export_lean_bundle 

pub fn export_lean_bundle(
    module_name: &str,
    bundle: &ObligationBundle,
) -> String

Export a whole bundle as a single Lean 4 module.