Type Alias BoxedToolExec 

pub type BoxedToolExec = Box<dyn FnOnce() -> ToolExecFuture + Send>;

A boxed, per-agent tool-execution closure. Built by the dispatch system so it captures that agent’s own tool registry, workdir, and policy; run once by the tool worker.

Aliased Type

pub struct BoxedToolExec(/* private fields */);