Searched defs:possibly (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/HOL4/src/metis/ | ||
| H A D | folTools.sml | 92 fun possibly f x = f x handle HOL_ERR _ => x; function |
| H A D | folMapping.sml | 76 fun possibly f x = case total f x of SOME y => y | NONE => x; function |
Completed in 56 milliseconds