INNER CODE UNIT · JavaScript

mkLowStarEndianness

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

let mkLowStarEndianness = (mem) => ({
  htole16: (x) => { throw new Error("todo: htole16") },
  le16toh: (x) => { throw new Error("todo: le16toh") },
  htole32: (x) => { throw new Error("todo: htole32") },
  le32toh: (x) => { throw new Error("todo: le32toh") },
  htole64: (x) => { throw new Error("todo: htole64") },
  le64toh: (x) => { throw new Error("todo: le64toh") },
  htobe16: (x) => { throw new Error("todo: htobe16") },
  be16toh: (x) => { throw new Error("todo: be16toh") },
  htobe32: (x) => { throw new Error("todo: htobe32") },
  be32toh: (x) => { throw new Error("todo: be32toh") },
  htobe64: (x) => { throw new Error("todo: htobe64") },
  be64toh: (x) => { throw new Error("todo: be64toh") },
  index_32_be: (x) => { throw new Error("todo: index_32_be") },
  index_32_le: (x) => { throw new Error("todo: index_32_le") },
  index_64_be: (x) => { throw new Error("todo: index_64_be") },
  index_64_le: (x) => { throw new Error("todo: index_64_le") },
  // all of these: implemented natively in CFlatToWasm

View source record →