add new specialisation type intervals:non_empty_interval()
add new specialisation type intervals:non_empty_interval()
caijieming-baidu/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,caijieming-baidu/scalaris,jvf/scalaris,jvf/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,jvf/scalaris