0 | module Prim.Lib 1 | 2 | public export 3 | lib : String -> String 4 | lib fname = "C:" ++ fname ++ ",libc_ffi" 5 |