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

/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A DcompilerLib.sml269 val fnames = all_distinct (rec_uses fname) value
270 val fnames = filter (fn x => mem x fnames) (map fst (!to_compile)) value
274 val fnames = collect_aux_fnames fname value

Completed in 410 milliseconds