pub const STUB_OPEN: &str = "[lean-ctx: earlier tool output elided";Expand description
How every elision stub opens; also what message_is_elided recognises.
pub const STUB_OPEN: &str = "[lean-ctx: earlier tool output elided";How every elision stub opens; also what message_is_elided recognises.