{-# LANGUAGE EmptyDataDecls #-} module OpenCascade.Message.Types ( ProgressRange ) where data ProgressRange