def option_was_set(option, value):
 return (set_by_cli(option) or (not has_default_value(option, value)))

def option_was_set ( option , value ) : return ( set_by_cli ( option ) or ( not has_default_value ( option , value ) ) )
was option set by the user or does it differ from the default? .