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