Searched defs:these (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/
H A Dbasics.sml69 fun these NONE = [] function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig36 val these : 'a list option -> 'a list value
H A DPortable.sml81 fun these (SOME x) = x function

Completed in 39 milliseconds