Searched defs:xy (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-master/l4v/tools/autocorres/tests/parse-tests/ |
| H A D | loop_test.c | 16 uint foo(uint xy, uint z) argument
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibArbnum.sml | 101 val xy = Int.+(x, y) value
|
| /seL4-l4v-master/HOL4/src/portableML/mosml/ |
| H A D | Arbnumcore.sml | 106 val xy = Int.+(x, y) value
|
| /seL4-l4v-master/HOL4/examples/machine-code/graph/ |
| H A D | stack_analysisLib.sml | 27 val (xy,z) = dest_comb xyz value
103 val (xy,z) = dest_comb tm value
|
| H A D | derive_specsLib.sml | 426 val (xy,z) = dest_comb tm value
|
| /seL4-l4v-master/HOL4/src/HolSmt/ |
| H A D | Z3_ProofReplay.sml | 681 val (xy, z) = boolSyntax.dest_imp l value
|
| /seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/extract/ |
| H A D | lisp_extractLib.sml | 680 val (xy,p) = dest_eq tm value
|
| /seL4-l4v-master/HOL4/src/coretypes/ |
| H A D | PairRules.sml | 1380 let val (xy,bod) = dest_pforall tm value
1406 let val (xy,bod) = dest_pexists tm value
1433 val xy = pairSyntax.mk_pair(x,y) value
1460 val xy = pairSyntax.mk_pair(x,y) value
[all...] |
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | lzConv.sml | 1716 val xy = mk_comb{Rator=mk_comb{Rator=opr,Rand=x},Rand=y} value
|
| H A D | lzPairRules.sml | 1401 let val (xy,bod) = dest_pforall tm value
1427 let val (xy,bod) = dest_pexists tm value
1454 val xy = pairSyntax.mk_pair(x,y) value
1481 val xy = pairSyntax.mk_pair(x,y) value
[all...] |
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | Conv.sml | 2350 val xy = mk_comb {Rator = mk_comb {Rator = opr, Rand = x}, Rand = y} value
|
| /seL4-l4v-master/HOL4/examples/machine-code/decompiler/ |
| H A D | decompilerLib.sml | 663 val xy = mk_sub (x,y) value
|
Completed in 239 milliseconds