pub const BINDING_NAME: &str = "__while";Expand description
Internal kernel-output name the wrapper pulls. The op-
kernel synthesiser appends __while := <expr> to the
kernel’s result-bindings source so the expression’s free
identifiers get auto-externed (same path metrics take).