Searched defs:failwith (Results 1 - 25 of 26) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DRJBConv.sml27 fun failwith function = raise (ERR function ""); function
H A DNorm_bool.sml25 fun failwith function = raise (mk_HOL_ERR "Norm_bool" function ""); function
H A DExists_arith.sml32 fun failwith function = raise HOL_ERR{origin_structure = "Exists_arith", function
H A DGen_arith.sml20 fun failwith function = raise (mk_HOL_ERR "Gen_arith" function ""); function
H A DNorm_ineqs.sml29 fun failwith f = raise (mk_HOL_ERR "Norm_ineqs" f "") function
H A DPrenex.sml48 fun failwith function = raise HOL_ERR{origin_structure = "Prenex", function
H A DSol_ranges.sml32 fun failwith function = raise HOL_ERR{origin_structure = "Sol_ranges", function
[all...]
H A DSolve.sml26 fun failwith function = raise (mk_HOL_ERR "Solve" function "") function
H A DNorm_arith.sml30 fun failwith function = raise (mk_HOL_ERR "Norm_arith" function ""); function
[all...]
H A DSub_and_cond.sml26 fun failwith function = function
H A DSup_Inf.sml30 fun failwith function = raise HOL_ERR{origin_structure = "Sup_Inf", function
[all...]
H A DTerm_coeffs.sml27 fun failwith function = raise (mk_HOL_ERR "Term_coeffs" function ""); function
H A DSolve_ineqs.sml30 fun failwith function = raise HOL_ERR{origin_structure = "Solve_ineqs", function
/seL4-l4v-10.1.1/HOL4/src/num/reduce/src/
H A DBoolconv.sml26 fun failwith function = raise (ERR function ""); function
H A DreduceLib.sml9 fun failwith function = raise mk_HOL_ERR "reduceLib" function ""; function
H A DArithconv.sml34 fun failwith function = raise (ERR function "") function
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DFeedback.sig36 val failwith : string -> 'a value
H A DFeedback.sml113 fun failwith s = raise (err2 s) function
/seL4-l4v-10.1.1/HOL4/src/lite/
H A DliteLib.sig13 val failwith : string -> 'a value
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/lambda/
H A Dbarendregt.sml78 fun failwith function = function
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/sigma/
H A Dbarendregt.sml81 fun failwith function = function
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dtactics.sig64 val failwith : string -> 'a value
H A Dtactics.sml168 fun failwith function = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A Ddep_rewrite.sml190 fun failwith function = function
[all...]
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DconstrFamiliesLib.sml20 fun failwith f x = function
[all...]

Completed in 76 milliseconds

12