import WorkingMemory from '../working-memory';
import Context from '../context';
import { INode } from '../nodes';
export declare function assert_left(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 retract_left(nodes: INode[], n: number, context: Context, wm: WorkingMemory): void;