std::empty_list

(defined in runtime_templates/list.template)