Searched defs:tuple (Results 1 - 13 of 13) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sml
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sml
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sml[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sml
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sml
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DstraightlineLib.sml42 val tuple = th |> concl |> rator |> rator |> rand value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp2425 #define tuple /* hack */((MLXStandardColormap *)DEREFHANDLE(tupleHandle)) macro
2435 #undef tuple macro
3685 Handle tuple; local
3753 Handle tuple; local
3783 Handle tuple; local
4138 PolyObject *tuple = tup.AsObjPtr(); local
4290 Handle tuple; local
5291 Handle tuple; local
5505 Handle tuple = alloc_and_save(taskData, 7, F_MUTABLE_BIT); local
5541 Handle tuple = alloc_and_save(taskData, 9, F_MUTABLE_BIT); local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_FUNCTIONS.sml285 val tuple = Tuple{fields = xp, isVariant = isVar } value
[all...]
H A DCODETREE_OPTIMISER.sml651 val tuple = buildFullTuple(filter, fn u => mkLoadArgument(m+u)) value
[all...]
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dpred_setSyntax.sml164 val tuple = pairSyntax.list_mk_pair sharedvars value
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DInduction.sml584 let val (tuple,vlist') = rename_tuple h vlist value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dinternal_functions.sml311 val tuple = case args_evalled of value
322 val tuple = case args_evalled of value

Completed in 472 milliseconds