@@ -61,7 +61,7 @@ time : IO Integer
61time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
61time = do MkRaw t <- foreign FFI_C "idris_time" (IO (Raw Integer))
64−usleep : Int -> IO ()
64+usleep : (i: Int) -> { auto p: (i > 0 && i <= 1000000) = True } -> IO ()
65usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
65usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
67system : String -> IO Int
67system : String -> IO Int