/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/coproduct/ |
H A D | selftest.sml | 13 fun delete n = OS.FileSys.remove n handle SysErr _ => () function
|
/seL4-l4v-10.1.1/HOL4/src/0/ |
H A D | Net.sig | 21 val delete : term * ('a -> bool) -> 'a net -> 'a net value
|
H A D | Net.sml | 178 fun delete (tm,P) N = function
|
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
H A D | Net.sig | 21 val delete : term * ('a -> bool) -> 'a net -> 'a net value
|
H A D | Net.sml | 175 fun delete (tm,P) N = function
|
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | LVTermNet.sig | 15 val delete : 'a lvtermnet * key -> 'a lvtermnet * 'a list value
|
H A D | TypeNet.sig | 14 val delete : 'a typenet * hol_type -> 'a typenet * 'a value
|
H A D | TypeNet.sml | 146 fun delete ((net,sz), ty) = let function
|
H A D | LVTermNet.sml | 169 fun delete ((net,sz), k) = let function
|
H A D | FCNet.sml | 166 fun delete (tm,P) N = function
|
H A D | LVTermNetFunctor.sml | 27 val delete : lvtermnet * key -> lvtermnet * Set.t value 198 fun delete ((net,sz), k) = let function
|
/seL4-l4v-10.1.1/HOL4/src/portableML/ |
H A D | AList.sig | 16 val delete: ('a * 'b -> bool) -> 'a value
|
H A D | AList.sml | 48 fun delete eq key = function
|
H A D | Redblackset.sig | 19 val delete : 'item set * 'item -> 'item set value
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
H A D | Intset.sig | 20 val delete : intset * int -> intset value
|
H A D | Intset.sml | 272 fun delete (E,x) = raise NotFound function
|
H A D | Intmap.sml | |
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
H A D | Binaryset.sig | 22 val delete : 'item set * 'item -> 'item set value
|
H A D | Binaryset.sml | 319 fun delete (SET(cmpKey, t), x) = function
|
H A D | Binarymap.sml | |
/seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
H A D | Map.sig | 41 val delete : ('key,'a) map -> 'key -> ('key,'a) map (* raises Error *) value
|
/seL4-l4v-10.1.1/HOL4/developers/mlton-srcs/ |
H A D | Binarymap.sml | |
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
H A D | int-binary-map.sml | |
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
H A D | int-binary-map.sml | |
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
H A D | int-binary-map.sml | |