import { IRTerm } from "../IRTerm.js";
export declare function getChildren(term: IRTerm): IRTerm[];