Skip to main content

record_breakpoint_injected

lean_ctx::proxy::cache_safety

Function record_breakpoint_injected 

Source 
pub fn record_breakpoint_injected()
Expand description

Record one actively-injected prompt-cache breakpoint (#939).