Searched defs:detect (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml1090 val detect = check_function (get_detect_function target) t value
1117 val detect = check_function (get_detect_function target) t value
2213 val detect = mk_comb(get_detect_function target t,target_var) value
[all...]
H A DfunctionEncodeLib.sml567 val (detect,body2) = with_exn dest_imp_only body err value
592 val (detect,encoded_term) = with_exn dest_comb body err value
[all...]

Completed in 103 milliseconds