import Context from '../context';
import { INode } from '../nodes';
import WorkingMemory from '../working-memory';
export declare function assert_left(nodes: INode[], n: number, context: Context, wm: WorkingMemory): void;
export declare function assert_right(nodes: INode[], n: number, context: Context, wm: WorkingMemory): void;
export declare function modify_left(nodes: INode[], n: number, context: Context, wm: WorkingMemory): void;
export declare function modify_right(nodes: INode[], n: number, context: Context, wm: WorkingMemory): void;