| /seL4-l4v-master/HOL4/src/portableML/mosml/concurrent/ |
| H A D | Future.sig | 6 val join : 'a future -> 'a value
|
| H A D | Future.sml | 8 val join = Susp.force value
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/lib/ |
| H A D | Ptree.sml | 25 fun join (p0, t0, p1, t1) = function
|
| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | AList.sig | 24 val join: ('a * 'a -> bool) -> ('a -> 'b * 'b -> 'b) (*exception DUP*) value
|
| H A D | AList.sml | 71 fun join eq f (xs, ys) = function
|
| H A D | PIntMap.sml | 66 fun join (p0,t0,p1,t1) = let function
|
| H A D | Table.sml | 44 val join: (key -> 'a * 'a -> 'a) (*exception SAME*) -> value
406 fun join f (table1, table2) = function
|
| H A D | Graph.sml | 55 val join: (key -> 'a * 'a -> 'a) (*exception DUP/SAME*) -> value
263 fun join f (G1 as Graph tab1, G2 as Graph tab2) = function
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | Standard_Thread.sml | 15 val join: Thread.thread -> unit value
66 fun join thread = function
|
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Option.sml | 31 val join : 'a option option -> 'a option value
56 fun join (SOME v) = v function
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibPatricia.sml | 60 fun join (p0,t0,p1,t1) = let function
|
| H A D | mlibUseful.sig | 126 val join : string -> string list -> string value
|
| H A D | mlibUseful.sml | 484 fun join _ [] = "" | join s (h :: t) = foldl (fn (x,y) => y ^ s ^ x) h t; function
|
| /seL4-l4v-master/HOL4/tools/mlyacc/src/ |
| H A D | hdr.sml | 107 val join = fn (e,NONE,NONE) => NONE value
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | armLib.sml | 260 fun join s (a,b) = function
|
| /seL4-l4v-master/HOL4/src/portableML/poly/concurrent/ |
| H A D | Future.sml | 30 val join: 'a future -> 'a value
497 fun join x = Exn.release (join_result x); function
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Useful.sig | 263 val join : string -> string list -> string value
|
| H A D | Useful.sml | 572 fun join _ [] = "" | join s (h :: t) = foldl (fn (x,y) => y ^ s ^ x) h t; function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sig | 226 val join : string -> string list -> string value
|
| H A D | Useful.sml | 573 val join = String.concatWith; value
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sig | 226 val join : string -> string list -> string value
|
| H A D | Useful.sml | 573 val join = String.concatWith; value
|
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | graph_specsLib.sml | 534 fun join [] = "" function
|
| /seL4-l4v-master/HOL4/src/finite_maps/ |
| H A D | patriciaLib.sml | 92 fun join (p0, t0, p1, t1) = function
|