Searched defs:all (Results 76 - 81 of 81) sorted by relevance
1234
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | Conv.sml | 546 val all = dest_neg tm value
571 val all = mk_forall {Bvar = Bvar, Body = mk_neg Body} value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
| H A D | encodeLib.sml | 1006 val all = check_function get_all_function t value
[all...] |
| H A D | functionEncodeLib.sml | 1180 fun all [] thm = raise Empty function
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | FinalPolyML.sml | 49 val all: 'a ptable -> unit -> (string * 'a) list value
60 and all(tab, mutx) = protect mutx (fn () => fold (fn (s, v, l) => ((s, v) :: l)) [] tab) function
[all...] |
| H A D | Posix.sml | 778 val all = flags [ untraced, nohang] value
1015 val all = flags [append, excl, noctty, nonblock, sync, trunc] value
1068 val all = flags [irwxu, irwxg, irwxo, isuid, isgid] value
1245 val all = flags [cloexec] value
1512 val all = flags [brkint, icrnl, ignbrk, igncr, ignpar, value
1521 val all = flags [opost] value
1539 val all = flags [clocal, cread, cs5, cs6, cs7, cs8, csize, value
1556 val all = flags [echo, echoe, echok, echonl, icanon, value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/bool/ |
| H A D | boolScript.sml | 1476 val all = mk_forall(x,t) value
1497 val all = mk_forall(x,mk_neg t) value
|
Completed in 256 milliseconds
1234