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

/seL4-l4v-master/HOL4/src/portableML/poly/concurrent/
H A DEvent_Timer.sml141 val req = new_request (); value
155 val req: request Single_Assignment.var = Single_Assignment.var "request" value
[all...]
/seL4-l4v-master/HOL4/src/1/
H A DDrule.sml1427 fun req {redex, residue} = aconv redex residue function
/seL4-l4v-master/HOL4/src/quotient/src/
H A Dquotient.sml445 val req = mk_eq{lhs=rcl, rhs=r'cl} value
882 val req = mk_eq{lhs=rcl, rhs=r'cl} value

Completed in 60 milliseconds