Searched refs:IndexToJSON (Results 1 – 1 of 1) sorted by relevance
902 std::function<void(Index)> IndexToJSON = [&](Index I) { in SerializeIndex() local910 IndexToJSON(C); in SerializeIndex()915 IndexToJSON(CDCtx.Idx); in SerializeIndex()