// An error meant for the user: printed as a plain message, without a stack trace.
export class TglError extends Error {}