format_with«_‡,»

Definitions:

string, <any…|1..50>
Source: /avail/Avail/Foundation/Strings
Categories: Formatting, Strings
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! ;

Position Name Type Description
Parameters
1 template string A template string.
2 vars <any…|1..50> A tuple of format variable bindings. This tuple must include a binding (i.e., subscript) for every variable mentioned within the template.
Returns string The result of formatting the template usings the specified bindings.

Semantic restrictions:

string's type, <any…|1..50>'s type
Source: /avail/Avail/Foundation/Strings
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.
Type Description
Parameter Types
string's type
<any…|1..50>'s type