Skip to main content

apply_side_effects

lean_ctx::core::intent_protocol

Function apply_side_effects 

Source 
pub fn apply_side_effects(
    intent: &IntentRecord,
    project_root: Option<&str>,
    session_id: &str,
)