Data.LLVM.CC.Macros

Definitions

fDecl' : String -> Decl -> Elab (List Decl)

Visibility: public export

fDecl : {default (fromString "llvm-c/Core.h") _ : String} -> List Decl -> Elab (List Decl)

Visibility: public export

decl : {default (fromString "llvm-c/Core.h") _ : String} -> List Decl -> Elab ()

Visibility: public export