Searched defs:pats (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/HOL4/tools/Holmake/tests/empty_script/
H A Dselftest.sml43 val pats = ["Couldn't find required output file: emptyTheory", value
/seL4-l4v-10.1.1/HOL4/src/1/
H A Dmp_then.sml94 val pats = value
H A DPmatch.sml658 val (pats,rhsides) = unzip clauses value
[all...]
H A DPrim_rec.sml1220 val pats = map (fn t => if is_imp t then rand t else t) cls value
/seL4-l4v-10.1.1/HOL4/src/num/termination/
H A DTotalDefn.sml354 val pats = mapfilter get_lhs (!termination_simps) value
/seL4-l4v-10.1.1/HOL4/src/pfl/
H A Dindex.sml396 val (pats,rhsl) = unzip clauses value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DHolKernel.sml686 val pats = map (Term.subst tmins) pats0 value
/seL4-l4v-10.1.1/HOL4/src/q/
H A DQ.sml413 val pats = TermParse.prim_ctxt_termS Absyn (term_grammar()) ctxt q value
457 val pats = TermParse.prim_ctxt_termS Absyn (term_grammar()) fvs q value
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DInduction.sml522 val (pats,TCsl) = unzip pat_TCs_list value
[all...]
H A DDefn.sml[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml392 val pats = [``~ ~a: bool``, ``a /\ b``, ``~(a \/ b)``] value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sml767 val pats = clauses_to_patterns els value
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DpatternMatchesLib.sml2735 val pats = List.map (#1 o dest_PMATCH_ROW) rows value
3087 val pats = List.map (#2 o dest_PMATCH_ROW_COND_EX) disjs value
[all...]

Completed in 259 milliseconds