Searched defs:excludes (Results 1 - 1 of 1) sorted by path

/seL4-l4v-master/HOL4/src/simp/src/
H A DsimpLib.sml708 val (excludes, rst) = extract_excls ([],[]) rst value

Completed in 102 milliseconds