console/groupEnd

End the current indented console group

const app = mvfm(prelude, console_);
const prog = app({ x: "number" }, ($) => {
  return $.begin(
    $.console.group("outer"),
    $.console.log("nested"),
    $.console.groupEnd(),
    $.input.x
  );
});
await fold(defaults(app), injectInput(prog, { x: 0 }));

const app = mvfm(prelude, console_);
const prog = app({ x: "number" }, ($) => {
  return $.begin(
    $.console.group("outer"),
    $.console.log("nested"),
    $.console.groupEnd(),
    $.input.x
  );
});
await fold(defaults(app), injectInput(prog, { x: 0 }));

const app = mvfm(prelude, console_);
const prog = app({ x: "number" }, ($) => {
  return $.begin(
    $.console.group("outer"),
    $.console.log("nested"),
    $.console.groupEnd(),
    $.input.x
  );
});
await fold(defaults(app), injectInput(prog, { x: 0 }));

Ctrl+Enter