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

/seL4-l4v-master/HOL4/examples/machine-code/graph/
H A DdecompileLib.sml16 val ignore = String.tokens (fn c => Lib.mem c [#",",#" "]) ignore_names value
/seL4-l4v-master/HOL4/polyml/basis/
H A DGeneral.sml41 val ignore : 'a -> unit value
70 fun ignore _ = () function
82 and op before = op before and ignore = ignore value
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dhdr.sml104 let val ignore = fn s => value

Completed in 122 milliseconds