Skip to main content

format_safety_table

lean_ctx::core::compression_safety

Function format_safety_table 

Source 
pub fn format_safety_table() -> String
Expand description

Renders the full safety table as a human-readable report.