Theseus
Theseus copied to clipboard
Add safety doc
After https://github.com/theseus-os/Theseus/pull/806 is merged, search for:
/// # Safety
/// [TODO: Add safety documentation]
throughout the entire codebase. And put the safety documentation in the # Safety
section. @kevinaboos