Searched defs:el (Results 1 - 10 of 10) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_OPTIMISER.sml398 and (el, ec) = findTuple e value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dffi_linux64.c79 ffi_type **el = t->elements; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dffi.c832 ffi_type **el = t->elements; local
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttSyntEval.sml340 val el = eval_main pdir_eval ncores timelimit dicts_new exportf launchf; value
H A DtttLearn.sml49 val (el,cont) = split_level "]" m value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sml71 fun el n l = function
H A DLib.sig52 val el : int -> 'a list -> 'a value
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A DPFset_conv.sml306 val el = rand(rator(rand(concl thm1))) value
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfCertificate.sml268 val el = find(lits,index) value
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DRegexp_Match.sml27 fun el n list = if n = 0 then hd list else el (n-1) (tl list); function

Completed in 81 milliseconds