Changes

Manuals/calci/ISSTRING (view source)

257 bytes added , 22:22, 8 August 2017

no edit summary

Line 16: Line 16:

#=ISSTRING(Good morning) = null

#=ISSTRING("123") = true

+

==See Also==

+

*[[Manuals/calci/ISBOOLEAN | ISBOOLEAN]]

+

*[[Manuals/calci/ISFUNCTION | ISFUNCTION ]]

+

==References==

+

*[https://en.wikipedia.org/wiki/String_(computer_science) String]

+

*[[Z_API_Functions | List of Main Z Functions]]

+

*[[ Z3 | Z3 home ]]

writer

6,694

edits