import type { BasicQueryData } from '../../base-query-format';
import type { DiceQuery, DiceQueryResult } from './dice-query-format';
/**
 * Execute dice queries. Each dice computes the intersection of a forward slice from `from`
 * and a backward slice from `to`, yielding only those program points that lie on a path
 * from the start criteria to the end criteria.
 */
export declare function executeDiceQuery({ analyzer }: BasicQueryData, queries: readonly DiceQuery[]): Promise<DiceQueryResult>;