Skip to main content

litm_end_section

lean_ctx::core::rules_sections

Function litm_end_section 

Source 
pub fn litm_end_section(p: &ToolProfile) -> String
Expand description

LITM end-of-instructions preference line — only lists enabled tools.