bool/and

Logical AND — both conditions must be true

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  return $.and($.gt($.input.x, 0), $.gt($.input.y, 0));
});
await fold(defaults(app), injectInput(prog, { x: 5, y: 3 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  return $.and($.gt($.input.x, 0), $.gt($.input.y, 0));
});
await fold(defaults(app), injectInput(prog, { x: 5, y: 3 }));

const app = mvfm(prelude);
const prog = app({ x: "number", y: "number" }, ($) => {
  return $.and($.gt($.input.x, 0), $.gt($.input.y, 0));
});
await fold(defaults(app), injectInput(prog, { x: 5, y: 3 }));

Ctrl+Enter