import { Position } from '../../../primitives.js';
import AreaNumberSymbol from '../../../symbols/areaNumberSymbol.js';
import BTModule, { BTGridData, CheckResult } from '../data.js';
export default class AreaNumberBTModule extends BTModule {
    instr: AreaNumberSymbol;
    constructor(instr: AreaNumberSymbol);
    checkGlobal(grid: BTGridData): CheckResult | false;
    checkLocal(grid: BTGridData, positions: Position[]): CheckResult | boolean;
}