// Generated by ReScript, PLEASE EDIT WITH CARE

import * as Element$WebAPI from "../DOMAPI/Element.js";
import * as Document$WebAPI from "../DOMAPI/Document.js";

function decode(t) {
  if (Element$WebAPI.isInstanceOf(t)) {
    return {
      TAG: "Element",
      _0: t
    };
  } else if (Document$WebAPI.isInstanceOf(t)) {
    return {
      TAG: "Document",
      _0: t
    };
  } else {
    return "Null";
  }
}

export {
  decode,
}
/* Element-WebAPI Not a pure module */