Module invariant_checks

Modules§

defining_ids_in_types
linkage_consistency: Checks that every command agrees with the transaction-wide (unified) linkage.
memory_safety
type_check