Searched defs:ts1 (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dstruct5.c15 static test_structure_5 ABI_ATTR struct5(test_structure_5 ts1, test_structure_5 ts2) argument
/seL4-l4v-10.1.1/HOL4/src/quotient/examples/
H A Dind_rel.sml1069 val (ts1,ts2) = split (map2 (fn r => fn t => f r (ASSUME(mk_neg t))) value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml726 val ts1 = find_used_holvars res_varL emp_s t1 value

Completed in 100 milliseconds