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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dmemmgr.h269 SpaceTree *tr = spaceTree; local
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DDerivedBddRules.sml849 val tr = computeTrace (fn n=>fn tb=>print".") vm Qth (in_th0,in_thsuc) value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DblastLib.sml1069 val tr = !blast_trace > 1 value
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DmuCheck.sml888 val tr = if (List.length trbl)=1 value
1001 let val tr = get_ce Ree I1 T1 state vm Ric (absf,Itb) mu_init_data mf value

Completed in 75 milliseconds