Searched defs:indentString (Results 1 – 1 of 1) sorted by relevance
1072 const std::string &indentString, int indent = 1) { in dumpEvaluation()1111 auto indentString = white.substr(0, indent * 2); in dumpEvaluationList() local