+STR +DOC --- +MAP =VAL :flow +SEQ [] =VAL :a