Searched defs:exclude (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DKeepers.sml6 val exclude = value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_progLib.sml1201 fun exclude s = List.exists (fn e => String.isPrefix e s) ["LDM", "STM"] function

Completed in 33 milliseconds