Searched refs:UID (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | install-poly.sh | 37 if [ "$POLY_ROOT" == "T" -a "$UID" != "0" ]
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | Theory.sml | 160 abstype thyid = UID of {name:string, sec: num, usec : num}
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}) =
180 UID{name="min", sec = fromInt 0, usec = fromInt 0} (* Ur-theory *)
|
Completed in 33 milliseconds