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 may contain any character except the expected close metacharacter. The contents are understood to name a variable that may appear as a key within the specified map; the associated value is this variable's value. If an interpolation site uses ¢“ (and ¢”), then the value will be converted to a string via `“_”` 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 ‘greeting’, ‘recipient’! with greeting ::= Hello , recipient ::= 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.