Searched defs:ft (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DOpentheory.sml232 fun ft (OTerm h, th) = let function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dtiming.cpp187 FILETIME ft; local
373 FILETIME ft; local
/seL4-l4v-10.1.1/HOL4/polyml/PolyPerf/
H A DPolyPerf.cpp287 void ASN1Parse::parseTime(FILETIME *ft, unsigned length) argument
397 FILETIME ft = { 0, 0}; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/decidable_separationLogic/src/
H A Ddecidable_separationLogicLib.sml932 val ft = mk_list (fL, ``:hypothesis_rule_cases``); value
1288 val ft = mk_list (f, type_of (hd f)); value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml1449 val ft = pull_T (tm2ftree ((cdr o concl o SPEC_ALL) pre)) value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml3491 val ft = get_detect_type a value
H A DpolytypicLib.sml1392 val f0term = let val ft = make_f_term func_types mk_var v x_var' (rlt',rrt') call_graph value

Completed in 183 milliseconds