tester_type_checker: added -spec for now exported function render_type
tester_type_checker: added -spec for now exported function render_type

scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,jvf/scalaris,jvf/scalaris,jvf/scalaris,jvf/scalaris,caijieming-baidu/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,scalaris-team/scalaris,caijieming-baidu/scalaris,caijieming-baidu/scalaris,jvf/scalaris,jvf/scalaris,caijieming-baidu/scalaris,jvf/scalaris