Detects if a given kwk::product_type instance is homogeneous. More...
Detects if a given kwk::product_type instance is homogeneous.