Searched defs:ab (Results 1 - 9 of 9) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmatch_goal.sig84 val ab : string -> pattern -> matcher value
H A Dmatch_goal.sml173 fun ab nm p = (Assumption (SOME nm),p,false) function
H A DTactical.sml748 val ab = value
H A DConv.sml1474 val ab as {Bvar, Body} = value
2261 val (ab as {Bvar, Body}) = dest_abs Rand value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairedLambda.sml299 val (ab, v) = dest_let tm; value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolyffi.cpp480 struct _abiTable *ab = (struct _abiTable *)p; local
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DcearTools.sml234 then let val ab = fst (pairSyntax.dest_pabs (#2(dest_cond tm))) value
H A DlzConv.sml1297 val (ab as {Bvar,Body}) = dest_exists ex handle HOL_ERR _ value
1611 val (ab as {Bvar,Body}) = dest_abs Rand value
/seL4-l4v-10.1.1/HOL4/src/n-bit/
H A DwordsLib.sml1657 val (ab, c) = attempt wordsSyntax.dest_word_concat tm value

Completed in 132 milliseconds