Type checker to determine if the given View type is an instantiation of SLICED_view. More...
View
Type checker to determine if the given View type is an instantiation of SLICED_view.