import { UnificationEnvironment } from "./unification";
export declare type Effect = Trivial;
interface IEffect {
    evaluate(env: UnificationEnvironment): UnificationEnvironment | null;
}
export declare class Trivial implements IEffect {
    evaluate(env: UnificationEnvironment): UnificationEnvironment | null;
}
export {};