import { Mod } from "../mod";
import * as Values from "../value";
/**
   Side-effects.
**/
export declare function freshenClause(mod: Mod, clause: Values.Clause, varMap?: Map<string, Values.PatternVar>): Values.Clause;