-double gras_os_time(void);
-
-/**
- * gras_os_sleep:
- * @Param1: number of seconds to sleep
- * @Param2: number of microseconds to sleep
- *
- * sleeps for the given amount of time.
+
+/** @brief Get the current time
+ * @return number of second since the Epoch.
+ * (00:00:00 UTC, January 1, 1970 in Real Life, and begining of simulation in SG)
+ */
+XBT_PUBLIC(double) gras_os_time(void);
+
+/** @brief sleeps for the given amount of time.
+ * @param sec: number of seconds to sleep