pub const ATS_CTAGS: &'static str = "--langdef=ATS\n--langmap=ATS:.dats\n--langmap=ATS:+.sats\n--regex-ATS=/^fun *([[:lower:]][[:alnum:]_]+)[[:blank:]]*[\\(\\[\\{)]/\\1/f,function/\n--regex-ATS=/^prfun *([[:lower:]][[:alnum:]_]+)[[:blank:]]*[\\(\\[\\{)]/\\1/f,function/\n--regex-ATS=/^fnx *([[:lower:]][[:alnum:]_]+)[[:blank:]]*[\\(\\[\\{)]/\\1/f,function/\n--regex-ATS=/^praxi *([[:lower:]][[:alnum:]_]+)[[:blank:]]*[\\(\\[\\{)]/\\1/p,proof/\n--regex-ATS=/^typedef *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^datatype *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^sortdef *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^viewtypedef *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^vtypedef *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^dataviewtype *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^datavtype *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,type/\n--regex-ATS=/^dataprop *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,proof/\n--regex-ATS=/^dataviewprop *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,proof/\n--regex-ATS=/^absvtype *([[:lower:]][[:alnum:]_]+)[[:blank:]]*=/\\1/t,proof/\n"