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

/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DenvTools.sml112 val ep = env_prefix state q' iet value
/seL4-l4v-10.1.1/seL4/src/object/
H A Dobjecttype.c612 performInvocation_Endpoint(endpoint_t *ep, word_t badge, argument
H A Dcnode.c329 endpoint_t* ep = (endpoint_t*) local
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A DexportLib.sml69 val ep = tm |> rand |> numSyntax.int_of_term value
/seL4-l4v-10.1.1/HOL4/src/bool/
H A DboolScript.sml1567 val ep = mk_exists (x,P) value
1591 val ep = mk_exists(x,P) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml298 fun ep x = map fst o filter (curry op= x o snd) function

Completed in 180 milliseconds