Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/annexlib/time.cmi_pretty GODI Package godi-annexlib
Library annexlib
 
   time.cmi_pretty    time.mli    Sources  
type timeval = Time.timeval = { tv_sec : int32; tv_usec : int32; }
val time : unit -> int32
val gmtime : int32 -> Unix.tm
val localtime : int32 -> Unix.tm
val mktime : Unix.tm -> int32 * Unix.tm
val gettimeofday : unit -> timeval
val difftime : int32 -> int32 -> float
val format_tm : string -> Unix.tm -> string
val format_time : string -> int32 -> string
val parse_tm : string -> string -> Unix.tm
val parse_time : string -> string -> int32
val ctime : int32 -> string
val asctime : Unix.tm -> string
val time_string : int32 -> string
val tm_string : Unix.tm -> string
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml