comparison lib/ur/basis.urs @ 1372:268d9af9103f

Basis.readUtc
author Adam Chlipala <adam@chlipala.net>
date Tue, 28 Dec 2010 14:51:57 -0500
parents 44a12a321150
children 64724ef86149
comparison
equal deleted inserted replaced
1371:4e5ca2a77a4d 1372:268d9af9103f
142 142
143 val now : transaction time 143 val now : transaction time
144 val minTime : time 144 val minTime : time
145 val addSeconds : time -> int -> time 145 val addSeconds : time -> int -> time
146 val timef : string -> time -> string (* Uses strftime() format string *) 146 val timef : string -> time -> string (* Uses strftime() format string *)
147 val readUtc : string -> option time
147 148
148 149
149 (** * Encryption *) 150 (** * Encryption *)
150 151
151 val crypt : string -> string -> string 152 val crypt : string -> string -> string