Skip to main content

supplement_budget

lean_ctx::core::context_kernel::activation

Function supplement_budget 

Source 
pub fn supplement_budget(config: &ActivationConfig) -> usize
Expand description

Returns the bounded per-request token budget for kernel supplementation.