Searched defs:func (Results 26 - 34 of 34) sorted by relevance

12

/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DTerm.sml57 fun func fs [] = fs function
66 fun func fs [] = fs function
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPrim_rec.sml1287 val func = (#1 o strip_comb) rhs value
H A DPmatch.sml113 let fun func (row as ((prefix, p::rst), rhs)) (in_group,not_in_group) = function
130 let fun func (row as ((prefix, p::rst), rhs)) (in_group,not_in_group) = function
742 fun func (_,(tag,i),[pat]) = tag (pat,i) function
/seL4-l4v-10.1.1/HOL4/examples/dev/
H A Dcompile.sml288 let val (func,args) = value
356 val (func,args) = value
432 val (func,args) = dest_comb lt value
585 let val (func,_) = value
654 val (func,args) = dest_comb l value
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DInduction.sml80 fun func (row as (p::rst, rhs)) (in_group,not_in_group) = function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dx86_dep.cpp956 Handle X86TaskData::EnterCallbackFunction(Handle func, Handle args) argument
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml1850 val func = RW [GSYM CONJ_ASSOC] (CONJ def pre) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml575 val func = get_encode_function target t value
607 val func = get_map_function t value
624 val func = get_all_function t value
H A DpolytypicLib.sml1100 val func = snd (EQ_IMP_RULE (STRIP_QUANT_CONV (RAND_CONV (REWR_CONV pair_def)) value
[all...]

Completed in 95 milliseconds

12