HomeManualTopicsTypesSymbols

std::default_value

returns the first argument if it is defined or else the second argument

Parameters

None

Results

None

Implemented by

std_types::object returns its first arguments
std_types::undefined returns the *default*
(defined in basic/types/undefined.fky)