import { Expression } from "../ast";
import { IsType } from "./isType";
/**
 * Assuming expression 'a' is true then this function returns
 * true if 'b' is necessarily true
 * false if 'b' is necessarily false
 * null if we cannot determine
 */
export default function isConsequent(a: Expression, b: Expression, isType?: IsType): true | false | null;
