Searched defs:triple (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/compute/examples/
H A DSort.sml48 fun triple l () = let val ll = l() in ll@(ll@ll) end; function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py46 triple = 'i386-apple-darwin10' variable in class:simulator_platform
56 triple = 'arm-apple-darwin10' variable in class:device_platform
H A Dgenerate-osx-source-and-headers.py41 triple = 'i386-apple-darwin10' variable in class:desktop_platform_32
51 triple = 'x86_64-apple-darwin10' variable in class:desktop_platform_64
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DUTuple.sml12 fun triple x y z = (x,y,z) function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DUTuple.sml12 fun triple x y z = (x,y,z) function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A DUTuple.sml12 fun triple x y z = (x,y,z) function
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DregexpLib.sml140 val triple = rhs (concl compile_thm) value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig151 val triple : 'a -> 'b -> 'c -> 'a * 'b * 'c value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig30 val triple : 'a -> 'b -> 'c -> 'a * 'b * 'c value
H A DPortable.sml68 fun triple x y z = (x, y, z) function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp2493 #define triple ((MLTriple *)DEREFHANDLE(tripleHandle)) macro
2497 #undef triple macro

Completed in 96 milliseconds