Searched defs:cands (Results 1 - 3 of 3) sorted by path

/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DSubsume.sml250 val cands = idSetIntersect fstCands sndCands value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DSubsume.sml250 val cands = idSetIntersect fstCands sndCands value
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml640 val cands = List.map (fn ((p1, _), (p2, _)) => (p1, p2)) candidates_match value
734 val cands = if exploit_match_exp then (cands_sub @ cands_arb ()) else value

Completed in 69 milliseconds