num/top

Bounded top for numbers — represents the maximum value

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // Compare input against a large known value
  return $.min($.input.x, 1000);
});
await fold(defaults(app), injectInput(prog, { x: 9999 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // Compare input against a large known value
  return $.min($.input.x, 1000);
});
await fold(defaults(app), injectInput(prog, { x: 9999 }));

const app = mvfm(prelude);
const prog = app({ x: "number" }, ($) => {
  // Compare input against a large known value
  return $.min($.input.x, 1000);
});
await fold(defaults(app), injectInput(prog, { x: 9999 }));

Ctrl+Enter