Searched defs:any (Results 1 - 17 of 17) sorted by relevance
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Parser.sig | 56 val any : ('a,'a) parser value
|
| H A D | Parser.sml | 129 fun any input = some (K true) input; function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sig | 62 val any : ('a,'a) parser value
|
| H A D | Parse.sml | 92 fun any input = some (K true) input; function
|
| H A D | Rewrite.sml | 553 fun any id = function
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sig | 62 val any : ('a,'a) parser value
|
| H A D | Parse.sml | 92 fun any input = some (K true) input; function
|
| H A D | Rewrite.sml | 553 fun any id = function
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibParser.sig | 37 val any : ('a,'a) parser value
|
| H A D | mlibParser.sml | 108 fun any input = some (K true) input; function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | gr_t.sml | 75 fun any proj (g as (t,m)) = proj (#1 (valOf (M.findSome t)),g) function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | gr_t.sml | 75 fun any proj (g as (t,m)) = proj (#1 (valOf (M.findSome t)),g) function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | gr_t.sml | 75 fun any proj (g as (t,m)) = proj (#1 (valOf (M.findSome t)),g) function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | INet6Sock.sml | 37 val any : int -> sock_addr value
94 fun any (p: int) : sock_addr = toAddr(iAddrAny, p) function
197 val any : int -> sock_addr value
|
| H A D | INetSock.sml | 143 val any : int -> sock_addr value
178 fun any (p: int) : sock_addr = toAddr(iAddrAny, p) function
286 val any : int -> sock_addr value
|
| /seL4-l4v-master/HOL4/Manual/Guide/ |
| H A D | guide.tex | [all...] |
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | simpLib.sml | 321 val any = mk_var("x",Type.alpha); value
|
Completed in 255 milliseconds