HashDict.get_lazy

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

get_lazy(dict, key, fun)

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