Searched refs:mk_s (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_simple_struct.c17 struct s mk_s (int j) function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml1171 val mk_s = mk_component_subst v o Thm.concl o SYM o Drule.SPECL vs value
1172 val tm = Term.subst (List.map mk_s (Drule.CONJUNCTS a)) m

Completed in 88 milliseconds