bash中的`echo_summary`函数是什么？

Question

bash中的echo_summary函数是什么？

在ironic/sourcecode

我搜索了echo_summary，它似乎是一个函数，但是在bash中，我不能直接使用它。