Module rust_cheri_compressed_cap::wrappers [−][src]
Defines easy-to-use wrapper traits for CompressedCapability implementations
Traits
CheriRVFuncs | Trait exposing the utility functions used to specify CHERI-RISC-V behaviour in Tech Report 951. Behaviour is derived from the Sail specification |