| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | VectorSliceOperations.sml | 53 val all: (elem -> bool) -> slice -> bool value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Stream.sig | 67 val all : ('a -> bool) -> 'a stream -> bool value
|
| H A D | ElementSet.sig | 121 val all : (element -> bool) -> set -> bool value
|
| H A D | KeyMap.sig | 156 val all : (key * 'a -> bool) -> 'a map -> bool value
|
| H A D | Map.sig | 146 val all : ('key * 'a -> bool) -> ('key,'a) map -> bool value
|
| H A D | Set.sig | 111 val all : ('elt -> bool) -> 'elt set -> bool value
|
| H A D | Set.sml | 260 fun all p = function
|
| H A D | Stream.sml | 114 fun all pred = not o exists (not o pred); function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Stream.sml | 115 fun all pred = not o exists (not o pred); function
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Edit.sml | 75 val all = flags[Window.Style.all, ES_LEFT, ES_CENTER, ES_RIGHT, ES_MULTILINE, value
|
| H A D | Listbox.sml | 77 val all = flags[Window.Style.all, LBS_NOTIFY, LBS_SORT, LBS_NOREDRAW, LBS_MULTIPLESEL, value
|
| H A D | MessageBox.sml | 131 val all = flags[MB_OK, MB_OKCANCEL, MB_ABORTRETRYIGNORE, MB_YESNOCANCEL, value
|
| H A D | WinBase.sml | 98 val all = flags[WS_OVERLAPPED, WS_POPUP, WS_CHILD, WS_MINIMIZE, WS_VISIBLE, value
152 val all = flags[WS_EX_DLGMODALFRAME, WS_EX_NOPARENTNOTIFY, WS_EX_TOPMOST, WS_EX_ACCEPTFILES, value
|
| H A D | Class.sml | 117 val all = flags[CS_VREDRAW, CS_HREDRAW, CS_KEYCVTWINDOW, CS_DBLCLKS, CS_OWNDC, value
|
| H A D | Combobox.sml | 81 val all = flags[Window.Style.all, CBS_SIMPLE, CBS_DROPDOWN, CBS_DROPDOWNLIST, value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | func_decompileLib.sml | 150 val all = fs |> map (rand o concl) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | x86_encodeLib.sml | 201 val all = try_all use_encoding ys value
|
| /seL4-l4v-10.1.1/HOL4/examples/acl2/lisp/ |
| H A D | book-essence.lisp | |
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 121 val all : (element -> bool) -> set -> bool value
|
| H A D | KeyMap.sig | 156 val all : (key * 'a -> bool) -> 'a map -> bool value
|
| H A D | Map.sig | 146 val all : ('key * 'a -> bool) -> ('key,'a) map -> bool value
|
| H A D | Set.sig | 111 val all : ('elt -> bool) -> 'elt set -> bool value
|
| H A D | Set.sml | 260 fun all p = function
|
| H A D | Stream.sml | 114 fun all pred = not o exists (not o pred); function
|
| /seL4-l4v-10.1.1/seL4/manual/parts/ |
| H A D | bootup.tex | |