Searched refs:DataPrinter (Results 1 – 1 of 1) sorted by relevance
869 using DataPrinter = std::function<void(InternalIndex)>; typedef882 DataPrinter print_data_at) { in PrintTableContentsGeneric()