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

/seL4-l4v-master/HOL4/src/finite_maps/
H A DtotoTacs.sml145 val outcome = rand (concl dictum) value
/seL4-l4v-master/HOL4/src/tfl/src/
H A DRW.sml533 => let val outcome = value
572 val outcome = value
655 let val (outcome,rst') = value

Completed in 52 milliseconds