makeCheckboxGroup function infrastructure

function makeCheckboxGroup(
  options: Array<{ value: string; text: string; checked?: boolean }>,
) {
  const group = document.createElement("div");
  group.className = "ant-checkbox-group";

  for (const opt of options) {
    const label = document.createElement("label");
    label.className = `ant-checkbox-wrapper${opt.checked ? " ant-checkbox-wrapper-checked" : ""}`;
    const span = document.createElement("span");
    span.className = "ant-checkbox";
    const input = document.createElement("input");
    input.type = "checkbox";
    input.value = opt.value;
    span.appendChild(input);
    const textSpan = document.createElement("span");
    textSpan.textContent = opt.text;
    label.appendChild(span);
    label.appendChild(textSpan);
    group.appendChild(label);
  }

  return group;
}