HashDict.pop_lazy

You're seeing just the function pop_lazy, go back to HashDict module for more information.
Link to this function

pop_lazy(dict, key, fun)

View Source
This function is deprecated. Use maps and the Map module instead.