let
add_result path result cache =
MapPath
.add path result cache