Searched defs:xs1 (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/lisp/ |
| H A D | lisp_finalScript.sml | 103 val (xs1,xs2,ys1,ys2) = partition q p ([],[],[]) value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
| H A D | compilerLib.sml | 194 val xs1 = find_terms (fn x => is_comb x andalso is_var (car x) andalso value
196 val xs1 = map ((fn (x,y) => (fst (dest_var x),y)) o dest_comb) xs1 value
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | x64_decoderScript.sml | 638 val xs1 = rec_dest_DTF x1 value
|
| /seL4-l4v-10.1.1/HOL4/src/sort/ |
| H A D | permLib.sml | 84 val (xs1,ls1) = strip_perm_list t1 value
93 val (xs1,ls1) = strip_perm_list t1 value
528 val (xs1,ls1) = strip_perm_list l1; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
| H A D | lisp_extractLib.sml | 306 val xs1 = listSyntax.mk_list(map mk_string (map fst xs),``:string``) value
599 val xs1 = listSyntax.mk_list(map mk_string (map fst xs),``:string``) value
|
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
| H A D | lisp_compiler_opScript.sml | 2035 val (xs1,x1) = flatten (cdr (car exp)) value
2041 val (xs1,x1) = flatten (cdr exp) value
2046 val (xs1,x1) = flatten (cdr exp) value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/ |
| H A D | helperLib.sml | 955 val (xs1,xs2,ys1,ys2) = match_and_partition q p value
1034 val (xs1,xs2,ys1,ys2) = match_and_partition (list_dest dest_star q) (list_dest dest_star p) value
1043 val (xs1,xs value
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/ |
| H A D | decompilerLib.sml | 881 val xs1 = filter (fn x => not (p = get_sep_domain x)) value
885 val xs1 = map remove_tags xs1 value
900 val xs1 = filter (fn x => not (p = get_sep_domain x)) (list_dest dest_star p1) value
915 val xs1 = filter (fn x => not (p = get_sep_domain x)) value
1049 val xs1 = list_dest dest_conj t1 value
1315 val xs1 = dest_tuple x1 value
[all...] |
Completed in 121 milliseconds