Searched defs:cs (Results 51 - 63 of 63) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DhelperLib.sml1089 val cs = sort (fn x => fn y => get_offset x <= get_offset y) xs value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_opsScript.sml3155 val cs = mk_appends xs |> QCONV (REWRITE_CONV [APPEND]) value
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DDrule.sml2146 val (cs, th2) = reconstitute grouped th1 value
H A DPrim_rec.sml453 val cs = type_constructors_with_args ax name value
1838 val cs = strip_conj (concl case_def) value
1887 val cs = strip_conj (concl case_def) value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml260 val cs = map (fn th => fn tm => value
427 val cs = map extract_code thms value
1228 val cs = dest_tuple c value
1295 val cs = dest_tuple c value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml37 else let val cs = [match (get_source_function_const t "bottom-cons") t] value
602 let val cs = constructors_of t value
620 let val cs = constructors_of t value
1521 val cs = constructors_of t value
1564 val cs = constructors_of t value
1632 let val cs = constructors_of t value
[all...]
H A DfunctionEncodeLib.sml1662 val cs = polytypicLib.constructors_of t handle e => value
2083 val cs = with_exn (map (rand o lhs o concl)) list value
2445 val cs = constructors_of t value
[all...]
H A DpolytypicLib.sml810 let val cs = constructors_of t value
930 let val cs = (map (repeat rator o rand o lhs o snd o strip_forall) o strip_conj) term value
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml2266 val cs = pairLib.strip_pair p value
2395 val (cs, kl) = process_current_col (List.map (K []) evs, []) ps value
[all...]
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml1494 val cs = Theory.constants (current_theory()) value
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml2191 let val cs = explode (dest_vartype tyv) value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/
H A Dvars_as_resourceFunctor.sml425 val cs = computeLib.bool_compset (); value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp5001 XCharStruct *cs = (XCharStruct *)v; local

Completed in 401 milliseconds

123