pattern search results for function::mkdef