Searched defs:fail (Results 76 - 81 of 81) sorted by relevance

1234

/seL4-l4v-master/HOL4/examples/HolBdd/
H A DDerivedBddRules.sml136 exception fail; exception
/seL4-l4v-master/HOL4/examples/formal-languages/context-free/
H A DgrammarLib.sml117 fun fail s ((p0,m0), i) = function
/seL4-l4v-master/HOL4/src/transfer/
H A DtransferLib.sml247 val fail = seq.empty value
296 val fail = seq.empty value
/seL4-l4v-master/HOL4/src/tfl/src/
H A DInduction.sml195 fun fail s = raise ERR "mk_case" s function
/seL4-l4v-master/HOL4/src/parse/
H A Dparse_term.sml887 fun fail() = FAILloc lrlocn errmsg function
/seL4-l4v-master/HOL4/src/real/
H A DRealArith.sml85 fun fail () = failwith "No message"; function

Completed in 166 milliseconds

1234