Vector
scala
VoidM
PureFunction
VoidS
PureFunction
value
PutInMap
UpdateInMap
Update
valueSize
Map