Skip to main content

render_lines

lean_ctx::core::decisions

Function render_lines 

Source 
pub fn render_lines(decisions: &[&Decision]) -> String
Expand description

One line per decision: id: title — statement.