Searched defs:rc (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/ARM_security_properties/
H A DARM_prover_toolsLib.sml91 val (rc, i1) = dest_comb rcs value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_tokens.sml282 fun rc (btid, _) = function
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sml677 val rc = mk_PMATCH_ROW_COND_EX_PABS vs (v, p_t, g_t) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DfunctionEncodeLib.sml3636 fun rc detector func = function

Completed in 161 milliseconds