th.txt

-- addDependentFile test-artefacts/headers/golden/program-analysis/selection_omit_external_root.h
-- addDependentFile test-artefacts/headers/golden/program-analysis/selection_omit_external_a.h
{-| __C declaration:__ @struct UnrelatedDeclaration@

    __defined at:__ @program-analysis\/selection_omit_external_a.h 4:8@

    __exported by:__ @program-analysis\/selection_omit_external_a.h@
-}
data UnrelatedDeclaration
    = UnrelatedDeclaration {unrelatedDeclaration_m :: CInt
                            {- ^ __C declaration:__ @m@

                                 __defined at:__ @program-analysis\/selection_omit_external_a.h 5:7@

                                 __exported by:__ @program-analysis\/selection_omit_external_a.h@
                            -}}
    deriving stock (Eq, Generic, Show)
instance StaticSize UnrelatedDeclaration
    where staticSizeOf = \_ -> 4 :: Int
          staticAlignment = \_ -> 4 :: Int
instance ReadRaw UnrelatedDeclaration
    where readRaw = \ptr_0 -> pure UnrelatedDeclaration <*> readRaw (Proxy @"unrelatedDeclaration_m") ptr_0
instance WriteRaw UnrelatedDeclaration
    where writeRaw = \ptr_0 -> \s_1 -> case s_1 of
                                       UnrelatedDeclaration unrelatedDeclaration_m_2 -> writeRaw (Proxy @"unrelatedDeclaration_m") ptr_0 unrelatedDeclaration_m_2
deriving via (EquivStorable UnrelatedDeclaration) instance Storable UnrelatedDeclaration
deriving via (IsStructViaReadRaw UnrelatedDeclaration) instance IsStruct UnrelatedDeclaration
instance (~) ty CInt =>
         HasField "unrelatedDeclaration_m" UnrelatedDeclaration ty
    where hasField = \x_0 -> (\y_1 -> UnrelatedDeclaration{unrelatedDeclaration_m = y_1},
                              getField @"unrelatedDeclaration_m" x_0)
instance (~) ty CInt =>
         HasField "unrelatedDeclaration_m"
                  (Ptr UnrelatedDeclaration)
                  (Ptr ty)
    where getField = fromPtr (Proxy @"unrelatedDeclaration_m")
instance HasCField UnrelatedDeclaration "unrelatedDeclaration_m"
    where type CFieldType UnrelatedDeclaration
                          "unrelatedDeclaration_m" = CInt
          offset# = \_ -> \_ -> 0