Manuals/calci/DEFAULT

DEFAULT(Object,Default)

Description

• A default argument is a value provided in a function declaration that is automatically assigned by the compiler if the caller of the function doesn’t provide a value for the argument with a default value.

Examples

a=12;DEFAULT(a,23) = 12

See Also

• DATEVALUE
• DAYS360
• DATE

References

Default

• List of Main Z Functions

• Z3 home