shared-map[k, v] record (has private fields)
list-new[k, v] (k, v) shared-map(a (k, v)[]) k keymove-to[k, v] v[k](a (k, v) shared-map) k keymove-to[k, v] (k, v) shared-map(a v mut[k]) k keysize[k, v] nat64(a (k, v) shared-map) k keyis-empty[k, v] bool(a (k, v) shared-map) k keysubscript[k, v] v option(a (k, v) shared-map, key k) k keyset-subscript[k, v] void(a (k, v) shared-map, key k, value v) k keyclear[k, v] void(a (k, v) shared-map) k keyremove[k, v] v option(a (k, v) shared-map, key k) k key~=[k, v] void(a (k, v) shared-map, (key k, value v)) k key
Shared equivalent to 'mut-map'.
Iteration is not supported; since operations on this take a lock, they need to be short.