Searched defs:component (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DDatabase.sig3 datatype component = type
H A DMyDatabase-sig.sml6 datatype component = type
H A DMyDatabase.sml6 datatype component = type
H A DDatabase.sml67 datatype component = type
/seL4-l4v-10.1.1/HOL4/src/opentheory/
H A DOpenTheoryMap.sml23 val component = String.translate (fn #"." => "\\." | #"\"" => "\\\"" | #"\\" => "\\\\" | c => String.str c) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DstateLib.sml280 fun component (n, ty) = function

Completed in 42 milliseconds