Compiler.RefC.CC

Definitions

compileCObjectFile : Ref Ctxt Defs => {default False _ : Bool} -> String -> String -> Core (Maybe String)

Totality: total
Visibility: export

compileCFile : Ref Ctxt Defs => {default False _ : Bool} -> String -> String -> Core (Maybe String)

Totality: total
Visibility: export