Lines Matching defs:sec
160 abstype thyid = UID of {name:string, sec: num, usec : num}
164 let val {sec,usec} = Portable.dest_time (Portable.timestamp())
166 UID{name=s, sec = sec, usec = usec}
169 fun dest_thyid (UID{name, sec, usec}) = (name,sec,usec)
173 fun make_thyid(s,i1,i2) = UID{name=s, sec=i1,usec=i2}
175 fun thyid_to_string (UID{name,sec,usec}) =
176 String.concat["(",Lib.quote name,",",toString sec, ",",
180 UID{name="min", sec = fromInt 0, usec = fromInt 0} (* Ur-theory *)
325 let val (_,sec,usec) = dest_thyid (fst (Graph.first
328 Portable.mk_time {sec = sec, usec = usec}