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

/seL4-l4v-master/HOL4/src/pred_set/src/
H A Dpred_setSyntax.sml173 val shared = op_intersect aconv (free_vars_lr tm1) (free_vars_lr tm2) value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dgc_share_phase.cpp911 POLYUNSIGNED shared local
922 POLYUNSIGNED shared = wordVectors[l].Shared(); local
[all...]

Completed in 171 milliseconds