USELESS_LOOP: {
    createSearch: () => FlowrSearchBuilderOut<
        "all",
        [],
        ParentInformation,
        "filter",
    >;
    info: {
        certainty: BestEffort;
        defaultConfig: { loopyFunctions: Set<BuiltInProcName> };
        description: "Detect loops which only iterate once";
        name: "Useless Loops";
        tags: readonly [Smell, Readability];
    };
    prettyPrint: {
        full: (result: UselessLoopResult) => string;
        query: (result: UselessLoopResult) => string;
    };
    processSearchResult: (
        elements: FlowrSearchElements<
            ParentInformation,
            FlowrSearchElement<ParentInformation>[],
        >,
        useLessLoopConfig: UselessLoopConfig,
        __namedParameters: {
            analyzer: ReadonlyFlowrAnalysisProvider;
            cfg: ControlFlowInformation;
            dataflow: DataflowInformation;
            normalize: NormalizedAst;
        },
    ) => {
        ".meta": { numOfUselessLoops: number };
        results: {
            certainty: Certain;
            involvedId: NodeId;
            name: string;
            range: SourceRange;
        }[];
    };
} = ...

Type declaration