@@ -61,7 +61,8 @@ 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+||| Specify interval to sleep for, must be in range [0, 1000000]
64−usleep : (i: Int) -> { auto p: (i > 0 && i <= 1000000) = True } -> IO ()
65+usleep : (i : Int) -> { auto prf : (i > 0 && i <= 1000000) = True } -> IO ()
65usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
66usleep i = foreign FFI_C "usleep" (Int -> IO ()) i
67system : String -> IO Int
68system : String -> IO Int