//#region src/latex/diagnostics.d.ts
declare const LATEX_DIAGNOSTIC_CODES: readonly ["latex/parse-error", "latex/construct-unparsed", "latex/juxtaposition-unparsed", "latex/text-unparsed", "latex/subscript-unparsed", "latex/binder-bound-implicit", "latex/binder-bound-unreadable", "latex/operator-unmapped", "latex/script-base-unparsed", "latex/array-environment-unparsed", "latex/genfrac-unparsed", "latex/operator-placement-unparsed", "symbols/prose-definition-found"];
type LatexDiagnosticCode = (typeof LATEX_DIAGNOSTIC_CODES)[number];
interface LatexDiagnostic {
  readonly code: LatexDiagnosticCode;
  readonly detail?: string;
}
type LatexDiagnosticSink = (diagnostic: LatexDiagnostic) => void;
declare const MATH_LINT_CODES: readonly ["math/coherence-divergence", "math/coherence-unparseable-presentation"];
type MathLintCode = (typeof MATH_LINT_CODES)[number];
interface MathLintDiagnostic {
  readonly code: MathLintCode;
  readonly severity: "warning";
  readonly provenance?: string;
  readonly detail?: string;
}
//#endregion
export { MATH_LINT_CODES as a, LatexDiagnosticSink as i, LatexDiagnostic as n, MathLintCode as o, LatexDiagnosticCode as r, MathLintDiagnostic as s, LATEX_DIAGNOSTIC_CODES as t };