/**
 * WGL041: Logically Unsound rules:if Condition
 *
 * Flags a `rules:if` that reads like a gate but is a constant — both sides of an
 * `==`/`!=` are identical, so the condition is always true or always false.
 * Generalizes WGL011 (rules that always evaluate to never) to tautological
 * conditions presented as gates.
 */
import type { PostSynthCheck } from "@intentius/chant/lint/post-synth";
/** Classify an `if:` expression as a tautology, returning a reason or undefined. */
export declare function tautologyReason(expr: string): string | undefined;
export declare const wgl041: PostSynthCheck;
//# sourceMappingURL=wgl041.d.ts.map