Answer the result of fully formatting the specified template using lexically specified format variable bindings.

A template intermixes raw character data with format variable interpolation sites. An interpolation site begins with either the ¢‘ or ¢“ metacharacter and ends with the corresponding close metacharacter, either ¢’ or ¢”, respectively. An interpolation site must contain one of the fifty circled number characters (¢①, ¢②, ..., ¢㊿). The circled number character is understood to indicate a subscript within the specified tuple; the value at this subscript is this variable's value. If an interpolation site uses ¢“ (and ¢”), then the value will be converted to a string via `primitive description of_` when it is copied into the result. If an interpolation site uses ¢‘ (and ¢’), then the value must be a string and will be copied directly into the result. To escape a metacharacter, precede it immediately by ¢`.

For example:

Assert: format ‘①’, ‘②’! with Hello , world = Hello, world! ;

If the template is statically known, then ensure that 1) each lexical binding references a valid format variable, 2) each format variable is bound, and 3) each format variable that uses the $text interpolation mode is actually bound to a string.