INNER CODE UNIT · JavaScript

mkSteelReference

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

let mkSteelReference = (mem) => ({
  Steel_Reference_is_null: (addr) => (addr == 0)
});

let mkPrims = (mem) => ({
  Prims_op_Addition: (x, y) => { return x + y; }
});

let mkC = (mem) => ({
  srand: () => { throw new Error("todo: srand") },
  rand: () => { throw new Error("todo: rand") },
  exit: (errno) => { throw new Error("Program exited via C.exit [errno="+errno+"]") },
  portable_exit: (errno) => { throw new Error("Program exited via C.portable_exit [errno="+errno+"]") },
  print_bytes: () => { throw new Error("todo: print_bytes") },

  char_uint8: () => { throw new Error("todo: char_uint8") },
  uint8_char: () => { throw new Error("todo: uint8_char") },
  char_of_uint8: (x) => { throw new Error("todo: char_of_uint8") },

View source record →