Searched defs:check (Results 76 - 100 of 100) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/src/1/
H A DPmatch.sml495 let fun check [] = true function
H A DConv.sml2241 val check = assert boolSyntax.is_exists1 value
H A DPrim_rec.sml1333 fun check [] = true function
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml370 fun check i = function
419 fun check j = function
/seL4-l4v-10.1.1/HOL4/src/list/src/
H A DListConv1.sml150 val check = assert(equal "LENGTH" o #Name o dest_const) value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DfolMapping.sml80 fun check s = assert (String.isPrefix p s) (ERR "dest_prefix" "") function
H A DmlibUseful.sml518 fun check s = assert (String.isPrefix p s) (Error "dest_prefix") function
H A DnormalForms.sml1299 fun check best [] = best function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml680 fun check i j = function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DModel.sml1084 fun check interpret {maxChecks} M fv x = function
H A DUseful.sml605 fun check s = function
628 fun check s = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DModel.sml1084 fun check interpret {maxChecks} M fv x = function
H A DUseful.sml605 fun check s = function
628 fun check s = function
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DPairRules.sml343 fun check V tm = function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_grammar.sml769 fun check rrec a = function
1011 fun check c = function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml557 let fun check (_, Thm _ ) = true function
565 let fun check (_, Axiom _) = true function
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/more_theories/
H A DcardinalScript.sml327 fun check th = let function
/seL4-l4v-10.1.1/HOL4/src/real/
H A DRealArith.sml50 fun check f = if !traceval > 0 then f() else () function
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DlzConv.sml1593 val check = assert boolSyntax.is_exists1 value
H A DlzPairRules.sml342 then let fun check V tm = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/step/
H A Dm0_stepLib.sml1053 fun check (l, s) thm = function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml45 fun check value t = function
1476 val check = check_function (get_encode_function target) t value
1487 val check = check_function get_map_function t value
1497 val check = check_function get_all_function t value
1508 val check = check_function (get_decode_function target) t value
1551 val check = check_function (get_detect_function target) t value
[all...]
H A DfunctionEncodeLib.sml2807 fun check x = function
H A DpolytypicLib.sml480 let fun check h = function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/step/
H A Darm_stepLib.sml1459 fun check (l, s) thm = function

Completed in 327 milliseconds

1234