2 val t
= valOf (Time
.fromString
"0.417")
3 val () = print (concat
[Time
.toString t
, "\n"])
5 val t
= valOf (Time
.fromString
"0.999")
6 val () = print (concat
[Time
.toString t
, "\n"])
8 val t
= valOf (Time
.fromString
".417")
9 val () = print (concat
[Time
.toString t
, "\n"])
11 val t
= valOf (Time
.fromString
".999")
12 val () = print (concat
[Time
.toString t
, "\n"])
14 val t
= valOf (Time
.fromString
"~0.417")
15 val () = print (concat
[Time
.toString t
, "\n"])
17 val t
= valOf (Time
.fromString
"~0.999")
18 val () = print (concat
[Time
.toString t
, "\n"])
20 val t
= valOf (Time
.fromString
"~.417")
21 val () = print (concat
[Time
.toString t
, "\n"])
23 val t
= valOf (Time
.fromString
"~.999")
24 val () = print (concat
[Time
.toString t
, "\n"])