INNER CODE UNIT · JavaScript

mkLowStar

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

let mkLowStar = (mem) => ({
  LowStar_Monotonic_Buffer_is_null: (addr) => (addr == 0)
});

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") },

View source record →