import { Solution } from "../solution";
import { Value } from "../value";
export declare function occur(solution: Solution, name: String, value: Value): boolean;