Searched defs:extend (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Darb.cpp285 static Handle get_long(Handle x, Handle extend, int *sign) argument
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DReadHMF.sml325 fun extend {quietp,lpref} envlist s f = let function
H A DHolmake_tools.sig79 val extend : {base : t, extension : t} -> t value
H A DHolmake_tools.sml483 fun extend {base, extension} = function
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/concurrent/
H A DTask_Queue.sml41 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 DbitstringScript.sml141 val extend = Q.store_thm("extend", value
[all...]
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DOverload.sml102 fun extend x (env,avds) = ((x::env,avds), ()) function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A DcodegenLib.sml57 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 Dx64_codegenLib.sml39 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 DsignedintScript.sml668 val extend = ``extend a (dimindex (:'a))`` value
[all...]

Completed in 130 milliseconds