pub const NATIVE_REDERIVED_SCHEMA: &'static str;
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.