// Generated by bynkc — do not edit by hand.
// commons demo

import { Ok, Err, Some, None, type Result, type Option, type ValidationError } from "./runtime.js";

export interface Counter {
  readonly n: number;
  readonly name: string;
}

export const Counter = {
};

export function inc(c: Counter): Counter {
  return { ...c, n: c.n + 1 };
}
