comparison lib/ur/basis.urs @ 1685:225b87d4a7df

Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
author Adam Chlipala <adam@chlipala.net>
date Sat, 04 Feb 2012 11:01:06 -0500
parents ac141fbb313a
children a1a1d66aebac
comparison
equal deleted inserted replaced
1684:9dd8d47c3e58 1685:225b87d4a7df
159 val minTime : time 159 val minTime : time
160 val addSeconds : time -> int -> time 160 val addSeconds : time -> int -> time
161 val toSeconds : time -> int 161 val toSeconds : time -> int
162 val diffInSeconds : time -> time -> int 162 val diffInSeconds : time -> time -> int
163 (* Earlier time first *) 163 (* Earlier time first *)
164 val toMilliseconds : time -> int
165 val diffInMilliseconds : time -> time -> int
164 val timef : string -> time -> string (* Uses strftime() format string *) 166 val timef : string -> time -> string (* Uses strftime() format string *)
165 val readUtc : string -> option time 167 val readUtc : string -> option time
166 168
167 169
168 (** * Encryption *) 170 (** * Encryption *)