Type Alias BoxedRun 

pub type BoxedRun = Box<dyn RunKernel>;

A boxed, name-erased runnable search.

One virtual call per whole search; the inner traversal is statically dispatched over the concrete kernel.

Aliased Type

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