Documentation

main :: IO () #

generateSizeTests :: String -> GlobalDecls -> CTranslUnit #

filterDefs :: CNode v => String -> Map k v -> Map k v #

computeRefClosure :: Map SUERef CompType -> Map SUERef CompType -> [CompType] #

defineEnum :: EnumType -> CExtDecl #

declareComp :: CompType -> CExtDecl #

defineComp :: CompType -> CExtDecl #

defineTyDef :: (CompTypeRef, Ident) -> CExtDecl #

genSizeTest :: Map SUERef (CompTypeRef, Ident) -> [CompType] -> CExtDecl #