Function encodeStr

runtime/src/rt.js:67–74

(exps, s)

};

function encodeStr(exps, s) {
    const bytes = TE.encode(s);
    const ptr = exps.wasm_alloc(bytes.length);
    new Uint8Array(exps.memory.buffer, ptr, bytes.length).set(bytes);
    const h = exps.host_edge_encode(TAG_BYTES, ptr, bytes.length);
    exps.wasm_free(ptr, bytes.length);
    return h;
}
function encodeInt(exps, n) {
    const buf = exps.wasm_alloc(16);
    const view = new DataView(exps.memory.buffer);