Skip to content

Commit

Permalink
also M.p.size and S.p.size
Browse files Browse the repository at this point in the history
  • Loading branch information
bakkot committed Dec 1, 2020
1 parent 3e5f76e commit 0b689e3
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -35538,7 +35538,7 @@ <h1>get Map.prototype.size</h1>
1. Let _count_ be 0.
1. For each Record { [[Key]], [[Value]] } _p_ of _entries_, do
1. If _p_.[[Key]] is not ~empty~, set _count_ to _count_ + 1.
1. Return _count_.
1. Return 𝔽(_count_).
</emu-alg>
</emu-clause>

Expand Down Expand Up @@ -35872,7 +35872,7 @@ <h1>get Set.prototype.size</h1>
1. Let _count_ be 0.
1. For each element _e_ of _entries_, do
1. If _e_ is not ~empty~, set _count_ to _count_ + 1.
1. Return _count_.
1. Return 𝔽(_count_).
</emu-alg>
</emu-clause>

Expand Down

0 comments on commit 0b689e3

Please sign in to comment.