/**
 * Binding Pattern Converter — TypeScript patterns to IR patterns
 *
 * ALICE'S SPEC: This is SYNTAX → IR conversion, NOT type logic.
 * It must NOT depend on TypeSystem, TypeRegistry, or NominalEnv.
 *
 * Converts:
 * - Identifier patterns: `x`
 * - Array patterns: `[a, b, ...rest]`
 * - Object patterns: `{ x, y: z, ...rest }`
 *
 * Phase 5 Step 4: Uses ProgramContext for expression conversion.
 */
import * as ts from "typescript";
import { IrPattern } from "../types/helpers.js";
import type { ProgramContext } from "../program-context.js";
/**
 * Convert TypeScript binding name to IR pattern.
 * Optionally accepts a ProgramContext for expression conversion (defaults, etc.)
 */
export declare const convertBindingName: (name: ts.BindingName, ctx?: ProgramContext) => IrPattern;
//# sourceMappingURL=binding-patterns.d.ts.map