Skip to main content

render_cards

lean_ctx::core::gateway

Function render_cards 

Source 
pub fn render_cards(outcome: &FindOutcome) -> String
Expand description

Render a FindOutcome as compact ChoiceCards for the model.