Manuals/calci/VOID

VOID()

Description

• This function returns the result as Null.
• A function with void result type ends either by reaching the end of the function or by executing a return statement with no returned value.
• The void type is the type for the result of a function that returns normally, but does not provide a result value to its caller.

Example

1. VOID() = null

See Also

• DEFAULT
• FLATTEN
• UPPERCASE

References

Void

• List of Main Z Functions

• Z3 home