Searched refs:test_type_subst (Results 1 – 1 of 1) sorted by relevance
58 static void test_type_subst(type_table_t *table, type_t tau, type_t v[], type_t u[], uint32_t n) { in test_type_subst() function229 test_type_subst(&types, tau, v, u, 4); in test_random_subst()