Searched defs:Options (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/l4v/misc/filemerge/faster/
H A Dtranslate.cpp93 class Options { class
102 Options() : mode(TO_UNICODE) {} function in class:Options
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DOptions.sig6 signature Options = signature
H A DOptions.sml6 structure Options :> Options = structure
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DOptions.sig6 signature Options = signature
H A DOptions.sml6 structure Options :> Options = structure

Completed in 106 milliseconds