/**
 * Buffer / inverter — aligned with Python `logic/logic.py` · `Buf`, `Not`.
 */
import { Element2Term } from "../element2term.js";
export declare class Buf extends Element2Term {
    constructor(userParams?: Record<string, unknown>);
}
export declare class Not extends Element2Term {
    constructor(userParams?: Record<string, unknown>);
}