import { IRTerm } from "../../IRTerm.js";
/**
 * makes sure all the childrens in a tree are pointing to the correct parent
 */
export declare function sanifyTree(ir: IRTerm): void;