@eagleoutice/flowr - v2.17.4
    Preparing search index...

    Type Alias TaintConditionDomain<Domain>

    TaintConditionDomain: Domain extends AbstractDomain<
        infer Value,
        infer Top,
        infer Bot,
    >
        ? AbstractDomain<Value, Top, Bot>
        : never

    Type Parameters