Manuals/calci/ARRAYIFY

ARRAYIFY()

Description

• This function used create an Array.
• Particularly ARRAYIFY(), convert array like items or individual items into arrays.

Examples

• ARRAYIFY([[2,3,4],[9,8,7]])

${\begin{matrix}2&3&4\\9&8&7\\\end{matrix}}$

See Also

• ARRAY
• ELEMENTINARRAY
• INARRAY

References

• [1]

• List of Main Z Functions

• Z3 home