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 D | Term.sml | 57 fun func fs [] = fs function 66 fun func fs [] = fs function [all...] |
/seL4-l4v-10.1.1/HOL4/src/1/ |
H A D | Prim_rec.sml | 1287 val func = (#1 o strip_comb) rhs value
|
H A D | Pmatch.sml | 113 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 D | compile.sml | 288 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 D | Induction.sml | 80 fun func (row as (p::rst, rhs)) (in_group,not_in_group) = function
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | x86_dep.cpp | 956 Handle X86TaskData::EnterCallbackFunction(Handle func, Handle args) argument
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/ |
H A D | decompilerLib.sml | 1850 val func = RW [GSYM CONJ_ASSOC] (CONJ def pre) value
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | encodeLib.sml | 575 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 D | polytypicLib.sml | 1100 val func = snd (EQ_IMP_RULE (STRIP_QUANT_CONV (RAND_CONV (REWR_CONV pair_def)) value [all...] |
Completed in 95 milliseconds
12