export declare const equation: {
    $grammar: {
        "equation:unify_typed": (string | {
            left: string;
            right?: undefined;
            type?: undefined;
        } | {
            right: string;
            left?: undefined;
            type?: undefined;
        } | {
            type: string;
            left?: undefined;
            right?: undefined;
        })[];
        "equation:unify": (string | {
            left: string;
            right?: undefined;
        } | {
            right: string;
            left?: undefined;
        })[];
    };
};
//# sourceMappingURL=equation.d.ts.map