====== Number String ======

===== Description =====

Identifies a string by assigning a number to it, so that a container built to consume numbered strings — such as [[Create String]] or [[Select String]] — can pick it out by that number.

===== Inputs =====

^ Name  ^ Type  ^ Description  ^
| Value  | [[String Type]]  | String to identify.  |
| Value Number  | [[Positive Integer Value Type]]  | Number used to identify the string.  |

===== Optional Inputs =====

None.

===== Outputs =====

None.

===== Group =====

[[Functor List#Map Algebra Supplementary | Map Algebra Supplementary]]

===== Notes =====

This functor must be placed directly inside one of the containers that consume numbered strings — [[Create String]] or [[Select String]]. Placed anywhere else, it has no effect.

Value Number is normally set to a fixed constant chosen by the model author.

===== Internal Name =====

NumberString