Searched defs:single (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-master/l4v/tools/c-parser/standalone-parser/
H A Dbasics.sml151 fun single x = [x] function
/seL4-l4v-master/HOL4/help/src-sml/
H A Dmakebase.sml10 fun single x = [x]; function
/seL4-l4v-master/HOL4/src/pfl/
H A Dindex.sml243 fun single x = [x]; function
/seL4-l4v-master/HOL4/src/prekernel/
H A DLib.sig141 val single : 'a -> 'a list value
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig46 val single : 'a -> 'a list (* synonym of list_of_singleton *) value
H A DPortable.sml97 fun single a = [a] function
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml1175 fun single p thm = function
H A DpolytypicLib.sml1765 val ((single,_),(name,body)) = guarenteed (first (curry op= pred o snd o fst)) zipped value
/seL4-l4v-master/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml25332 val single = s = "f32" value
25391 val single = s1 = "f32" value
25403 val single = s2 = "f32" value
25463 val single = s = "f32" value
25495 val single = s = "f32" value
[all...]

Completed in 242 milliseconds