Press n or j to go to the next uncovered block, b, p or k for the previous block.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 | 13x 4x 2x 1x 1x 13x 13x 1x 12x 5x 7x 7x 7x 2x 5x 2x 3x 1x 2x 1x | // Generated by ReScript, PLEASE EDIT WITH CARE
function normalize(serial) {
return (serial % 256 + 256 | 0) % 256;
}
function trusted(state) {
return !state.untrusted;
}
function observeSnapshot(_state, serial) {
if (serial !== undefined) {
return {
lastSerial: normalize(serial),
untrusted: false
};
} else {
return {
lastSerial: undefined,
untrusted: false
};
}
}
function observeMove(state, serial) {
let match = state.lastSerial;
if (serial === undefined) {
return [
state,
undefined
];
}
if (match === undefined) {
return [
{
lastSerial: normalize(serial),
untrusted: state.untrusted
},
undefined
];
}
let serial$1 = normalize(serial);
let delta = ((serial$1 - match | 0) + 256 | 0) % 256;
if (delta === 1) {
return [
{
lastSerial: serial$1,
untrusted: state.untrusted
},
undefined
];
} else if (delta === 0 || delta >= 128) {
return [
state,
undefined
];
} else if (state.untrusted) {
return [
{
lastSerial: serial$1,
untrusted: state.untrusted
},
undefined
];
} else {
return [
{
lastSerial: serial$1,
untrusted: true
},
{
previousSerial: match,
serial: serial$1,
missing: delta - 1 | 0
}
];
}
}
let initial = {
lastSerial: undefined,
untrusted: false
};
export {
initial,
trusted,
observeSnapshot,
observeMove,
}
/* No side effect */
|