import type { ControlFlowGraph } from './cfg';
import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
import { Ternary } from '../logic';
/**
 * Determines if node `a` happens before node `b` in the control flow graph.
 */
export declare function happensBefore(cfg: ControlFlowGraph, a: NodeId, b: NodeId): Ternary;