Module sel4::cap

source ·
Expand description

Marked aliases of Cap.

Each type $t<C = NoExplicitInvocationContext> in this module is an alias for Cap<$t, C>.

Type Aliases§