/seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
H A D | Base.sml | 638 val all = flags[FR_DOWN, FR_WHOLEWORD, FR_MATCHCASE, FR_FINDNEXT, FR_REPLACE, value
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Windows.sml | 253 val all = flags[allAccess, createLink, createSubKey, enumerateSubKeys, value
|
H A D | Posix.sml | 773 val all = flags [ untraced, nohang] value 1013 val all = flags [append, excl, noctty, nonblock, sync, trunc] value 1070 val all = flags [irwxu, irwxg, irwxo, isuid, isgid] value 1247 val all = flags [cloexec] value 1514 val all = flags [brkint, icrnl, ignbrk, igncr, ignpar, value 1523 val all = flags [opost] value 1541 val all = flags [clocal, cread, cs5, cs6, cs7, cs8, csize, value 1558 val all = flags [echo, echoe, echok, echonl, icanon, value [all...] |
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...] |
/seL4-l4v-master/HOL4/src/bool/ |
H A D | boolScript.sml | 1500 val all = mk_forall(x,t) value 1521 val all = mk_forall(x,mk_neg t) value
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Lib.sig | 28 val all : ('a -> bool) -> 'a list -> bool value
|
/seL4-l4v-master/HOL4/src/portableML/ |
H A D | Portable.sig | 56 val all : ('a -> bool) -> 'a list -> bool value
|
H A D | Portable.sml | 111 val all = List.all value
|
H A D | UTF8.sml | 205 fun all P s = function
|
/seL4-l4v-master/HOL4/tools/ |
H A D | hol-input.el | [all...] |
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 114 fun all pred = not o exists (not o pred); function
|
H A D | Stream.sig | 67 val all : ('a -> bool) -> 'a stream -> 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 | Map.sml | 1281 fun all p = function
|
H A D | Map.sig | 146 val all : ('key * 'a -> bool) -> ('key,'a) map -> bool value
|
H A D | KeyMap.sml | 1289 fun all p = function
|
H A D | KeyMap.sig | 156 val all : (key * 'a -> bool) -> 'a map -> bool value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sml | 114 fun all pred = not o exists (not o pred); function
|
H A D | Stream.sig | 67 val all : ('a -> bool) -> 'a stream -> 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 | Map.sml | 1281 fun all p = function
|
H A D | Map.sig | 146 val all : ('key * 'a -> bool) -> ('key,'a) map -> bool value
|
H A D | KeyMap.sml | 1289 fun all p = function
|