{-# language CPP #-}
module Vulkan.Extensions.VK_IMG_format_pvrtc  ( IMG_FORMAT_PVRTC_SPEC_VERSION
                                              , pattern IMG_FORMAT_PVRTC_SPEC_VERSION
                                              , IMG_FORMAT_PVRTC_EXTENSION_NAME
                                              , pattern IMG_FORMAT_PVRTC_EXTENSION_NAME
                                              ) where

import Data.String (IsString)

type IMG_FORMAT_PVRTC_SPEC_VERSION = 1

-- No documentation found for TopLevel "VK_IMG_FORMAT_PVRTC_SPEC_VERSION"
pattern IMG_FORMAT_PVRTC_SPEC_VERSION :: forall a . Integral a => a
pattern $bIMG_FORMAT_PVRTC_SPEC_VERSION :: a
$mIMG_FORMAT_PVRTC_SPEC_VERSION :: forall r a. Integral a => a -> (Void# -> r) -> (Void# -> r) -> r
IMG_FORMAT_PVRTC_SPEC_VERSION = 1


type IMG_FORMAT_PVRTC_EXTENSION_NAME = "VK_IMG_format_pvrtc"

-- No documentation found for TopLevel "VK_IMG_FORMAT_PVRTC_EXTENSION_NAME"
pattern IMG_FORMAT_PVRTC_EXTENSION_NAME :: forall a . (Eq a, IsString a) => a
pattern $bIMG_FORMAT_PVRTC_EXTENSION_NAME :: a
$mIMG_FORMAT_PVRTC_EXTENSION_NAME :: forall r a.
(Eq a, IsString a) =>
a -> (Void# -> r) -> (Void# -> r) -> r
IMG_FORMAT_PVRTC_EXTENSION_NAME = "VK_IMG_format_pvrtc"