diff --git a/infra.bs b/infra.bs index 15cbffc..49747df 100644 --- a/infra.bs +++ b/infra.bs @@ -1241,6 +1241,9 @@ all entries from the map that match a given condition, or do noth the condition is having a certain key, then we can also denote this by saying, for an ordered map |map| and key |key|, "remove |map|[|key|]". +

To clear an ordered map is to remove all entries +from the map. +

An ordered map contains an entry with a given key if there exists an entry with that key. We can also denote this by saying that, for an ordered map |map| and key |key|, "|map|[|key|]