double-double/play/wat-to-wasm.js

Pure double-double precision functions *with strict error bounds*.

require("wabt")().then(wabt => {
    var wasm = ...; // a buffer holding the contents of a wasm file
   
    var myModule = wabt.readWasm(wasm, { readDebugNames: true });
    myModule.applyNames();
   
    var wast = myModule.toText({ foldExprs: false, inlineExport: false });
   
    console.log(wast);
  });