INNER CODE UNIT · JavaScript

mkLibMemzero

FStarLang/karamel · krmllib/js/loader.js:238

let mkLibMemzero = (mem) => ({
  Lib_Memzero_clear_words_u8: (nwords, addr) => {
    let m8 = new Uint8Array(mem.buffer);
    for (let i = 0; i < nwords; ++i) {
      m8[addr+i] = 0;
    }
  },
  Lib_Memzero_clear_words_u16: (nwords, addr) => {
    let m8 = new Uint8Array(mem.buffer);
    for (let i = 0; i < nwords; ++i) {
      m8[addr+2*i] = 0;
      m8[addr+2*i+1] = 0;
    }
  }
});

let mkLowStarEndianness = (mem) => ({
  htole16: (x) => { throw new Error("todo: htole16") },

View source record →