| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | parse_someops.c | 39 char inc(int x) function
|
| /seL4-l4v-master/HOL4/src/portableML/poly/ |
| H A D | Unsynchronized.sml | 14 val inc: int ref -> int value
30 fun inc i = (i := ! i + (1: int); ! i); function
|
| /seL4-l4v-master/HOL4/src/finite_maps/ |
| H A D | sptreepp.sml | 31 let val inc = lrnext i value
36 let val inc = lrnext i value
|
| H A D | sptreeSyntax.sml | 143 val inc = lrnext i value
149 val inc = lrnext i value
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | PrecAnalysis.sml | 203 fun inc (l1, l2, c) = (l1, l2, c + 1) function
|
| /seL4-l4v-master/HOL4/src/prekernel/ |
| H A D | Count.sml | 12 val inc = Portable.inc value
|
| /seL4-l4v-master/HOL4/examples/machine-code/x64_compiler/ |
| H A D | x64_compilerLib.sml | 18 fun inc () = let val v = !counter in (counter := Arbnum.+(v,Arbnum.one); v) end function
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | mlibTermnet.sml | 205 fun inc sub v tms tm net rest = (M.insert (sub,v,tm), net, tms) :: rest; function
235 fun inc sub v seen tms tm net rest = function
284 fun inc tm (RESULT l) acc = foldl (fn (x,y) => (qterm' tm |-> x) :: y) acc l function
|
| H A D | mlibTermorder.sml | 285 fun inc eqn = function
|
| H A D | mlibClause.sml | 327 fun inc c = harvest (CL (p,i,th,c,d), n) function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sml | 219 fun inc ((t,y),z) = mk (t,z,y) function
233 fun inc ((t,y),(u,z)) = (t, mk (u,y,z)) function
|
| H A D | Proof.sml | 437 fun inc (th_inf,set) = function
|
| H A D | Set.sml | 296 fun inc (x,l) = f x :: l function
|
| H A D | ElementSet.sml | 329 fun inc (x,l) = f x :: l function
|
| H A D | TermNet.sml | 406 fun inc qsub v tms (qtm,net,rest) = function
443 fun inc (qtm, Result l, acc) = function
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Parse.sml | 219 fun inc ((t,y),z) = mk (t,z,y) function
233 fun inc ((t,y),(u,z)) = (t, mk (u,y,z)) function
|
| H A D | Proof.sml | 437 fun inc (th_inf,set) = function
|
| H A D | Set.sml | 296 fun inc (x,l) = f x :: l function
|
| H A D | ElementSet.sml | 329 fun inc (x,l) = f x :: l function
|
| H A D | TermNet.sml | 406 fun inc qsub v tms (qtm,net,rest) = function
443 fun inc (qtm, Result l, acc) = function
[all...] |
| /seL4-l4v-master/HOL4/tools/unicode-grep/ |
| H A D | ugrep.sml | 137 fun inc k m = function
|
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | Holdep_tokens.sml | 68 fun inc (SCR {linenum, filename, colnum, ids, cr}) = function
[all...] |
| /seL4-l4v-master/HOL4/examples/machine-code/compiler/ |
| H A D | compilerLib.sml | 24 fun inc () = let val v = !counter in (counter := Arbnum.+(v,Arbnum.one); v) end function
|
| /seL4-l4v-master/HOL4/src/TeX/ |
| H A D | mungeTools.sml | 30 fun inc ir = (ir := !ir + 1) function
|
| /seL4-l4v-master/HOL4/src/1/ |
| H A D | Pmatch.sml | 487 fun inc d k = case Binarymap.peek(d,k) of NONE => Binarymap.insert(d,k,1) function
|