pub const NATIVE_REDERIVED_SCHEMA: &str = "logos-lean-package/2";
The schema of a package whose proof is the export’s with the native decisions of the target’s closure re-derived by kernel evaluation.