import type { MatchContext, MatcherExecutor, AnyCaseNodeType, CaseNodeFor, AnyLeafOrStructure } from '../entities/types';
export declare const traversals: {
    descendAndDescribe: <T extends AnyCaseNodeType>(matcherOrData: AnyLeafOrStructure | CaseNodeFor<T>, parentMatchContext: MatchContext) => string;
    descendAndCheck: <T_1 extends AnyCaseNodeType>(matcherOrData: AnyLeafOrStructure | CaseNodeFor<T_1>, parentMatchContext: MatchContext, actual: unknown) => ReturnType<MatcherExecutor<AnyCaseNodeType>['check']>;
    descendAndStrip: <T_2 extends AnyCaseNodeType>(matcherOrData: AnyLeafOrStructure | CaseNodeFor<T_2>, parentMatchContext: MatchContext) => import("../entities/types").AnyData;
    selfVerify: <T_3 extends AnyCaseNodeType>(matcherOrData: AnyLeafOrStructure | CaseNodeFor<T_3>, parentMatchContext: MatchContext) => ReturnType<MatcherExecutor<AnyCaseNodeType>['check']>;
};