pub fn verify_binders(
binders: &[Binder],
kernel: &dyn Kernel,
) -> Result<(), String>Expand description
Verify typed binders against a kernel of any engine: each slot’s
wire resolves as an output of the kernel’s program, else as an input
(the coordinate / extern wires an op-template kernel declares). The
engine-neutral form of polydat::binder::verify_against_kernel,
which takes an interpreter kernel. Violation messages are joined
with "; ".