import { KumoriAstType } from "../../language/generated/ast.js";
import { TypeSystemContext } from "../../language/kumori-types.js";
import { KumoriServices } from "../../language/kumori.js";
import { ValidationAcceptor } from "langium";
export type ValidationContext = {
    readonly svcs: KumoriServices;
    readonly ctx: () => TypeSystemContext;
};
export type KumoriAstNode = KumoriAstType[keyof KumoriAstType];
export type KumoriAstNodeType = KumoriAstNode["$type"];
export type Validator<T extends KumoriAstNode> = (node: T, accept: ValidationAcceptor) => void;
export type ValidatorConstructor<T extends KumoriAstNode> = (ctx: ValidationContext) => Validator<T>;
export declare const Merge: <T extends KumoriAstNode>(validators: readonly Validator<T>[]) => Validator<T>;
export type IsValidator<T extends ValidatorConstructor<any>, R extends readonly string[]> = RegistrationCheck<T, R> extends never ? T : never;
type RegistrationCheck<T extends ValidatorConstructor<any>, R extends readonly string[]> = // Ensures that that R contains every AstNodeType declared by T as a parameter
(T extends ValidatorConstructor<infer S> ? Exclude<S["$type"], R[number]> : undefined) | Exclude<R[number], T extends ValidatorConstructor<infer S> ? S["$type"] : undefined>;
export {};