function export_table(f, t) {
  const data = table_to_string(t);
  const filename = f;
  const blob = new Blob([data], {type: 'text/csv'});
  if (window.navigator.msSaveOrOpenBlob) {
      window.navigator.msSaveBlob(blob, filename);
  } else {
      const elem = document.createElement('a') 
      elem.href = window.URL.createObjectURL(blob)
      elem.download = filename
      document.body.appendChild(elem);
      elem.click();
      document.body.removeChild(elem);
  }
}
// export table t as file f.
export table t as file f.
export table t as file f .
function export_table(f, t) {
  const data = table_to_string(t);
  const filename = f;
  const blob = new Blob([data], {type: 'text/csv'});
  if (window.navigator.msSaveOrOpenBlob) {
      window.navigator.msSaveBlob(blob, filename);
  } else {
      const elem = document.createElement('a') 
      elem.href = window.URL.createObjectURL(blob)
      elem.download = filename
      document.body.appendChild(elem);
      elem.click();
      document.body.removeChild(elem);
  }
}
function export_table ( f , t ) { const data = table_to_string ( t ) ; const filename = f ; const blob = new Blob ( [ data ] , { type : 'text/csv' } ) ; if ( window . navigator . msSaveOrOpenBlob ) { window . navigator . msSaveBlob ( blob , filename ) ; } else { const elem = document . createElement ( 'a' ) elem . href = window . URL . createObjectURL ( blob ) elem . download = filename document . body . appendChild ( elem ) ; elem . click ( ) ; document . body . removeChild ( elem ) ; } }
export table t as file f.
export table t as file f .