Searched defs:extend (Results 1 - 10 of 10) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | arb.cpp | 285 static Handle get_long(Handle x, Handle extend, int *sign) argument
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | ReadHMF.sml | 325 fun extend {quietp,lpref} envlist s f = let function
|
H A D | Holmake_tools.sig | 79 val extend : {base : t, extension : t} -> t value
|
H A D | Holmake_tools.sml | 483 fun extend {base, extension} = function
|
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/ |
H A D | Task_Queue.sml | 41 val extend: task -> (bool -> bool) -> queue -> queue option value 333 fun extend task job (Queue {groups, jobs, urgent}) = function
|
/seL4-l4v-10.1.1/HOL4/src/n-bit/ |
H A D | bitstringScript.sml | 141 val extend = Q.store_thm("extend", value [all...] |
/seL4-l4v-10.1.1/HOL4/src/parse/ |
H A D | Overload.sml | 102 fun extend x (env,avds) = ((x::env,avds), ()) function
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/ |
H A D | codegenLib.sml | 57 fun extend (s,i) = if size s < 2 * i then extend ("0" ^ s, i) else s function
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/x64_compiler/ |
H A D | x64_codegenLib.sml | 39 fun extend (s,i) = if size s < 2 * i then extend ("0" ^ s, i) else s function
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | signedintScript.sml | 668 val extend = ``extend a (dimindex (:'a))`` value [all...] |
Completed in 130 milliseconds