pub fn shipped_schema() -> &'static [ModuleSchema]Expand description
The schema of every host module the toolchain ships.
cove trace and cove replay read a trace without a host to ask, and
both need what the schema says: which calls the trace recorded are
irreversible, which capability each one needs, and whether a result was
recordable. cove-sema needs the same table with no runtime to depend on
at all. So the table is cove_schema::hosts::SHIPPED and every module
below answers with its entry from it: not a copy that agrees, the same
bytes.