import { Solution } from "../solution";
import { Value } from "../value";
export declare function unify(solution: Solution, left: Value, right: Value): Solution | undefined;