Searched refs:ok (Results 126 - 130 of 130) sorted by relevance

123456

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DString.sml665 NONE => (* No char available. That's ok if we are converting
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml355 val ok = HOLset.isEmpty (HOLset.intersection (FVL [rh'] empty_tmset, p_vs)) value
357 if ok then SOME rh' else NONE
/seL4-l4v-10.1.1/HOL4/src/coalgebras/
H A DllistScript.sml334 (* would be somewhat ok to add this presentation to compset if you'd
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure7348 { $as_echo "$as_me:${as_lineno-$LINENO}: result: ok" >&5
7349 $as_echo "ok" >&6; }
17453 .ok|.ok,*) ;;
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml25252 (Option.SOME(BitsN.B(0xD,_)),(true,Option.SOME(ok,mode))) =>
25253 (if ok

Completed in 275 milliseconds

123456