This commit is contained in:
jzmaddock
2013-12-14 17:42:13 +00:00
parent 7c7f38b009
commit e5bbcac3da
102 changed files with 214 additions and 187 deletions

View File

@ -80,7 +80,7 @@ are given in the table:
[table
[[Element][Value]]
[[`m.size()`][`e.mark_count()`]]
[[`m.size()`][`1 + e.mark_count()`]]
[[`m.empty()`][`false`]]
[[`m.prefix().first`][`first`]]
[[`m.prefix().last`][`m[0].first`]]