Searched refs:cttypes (Results 1 – 1 of 1) sorted by relevance
479 } cttypes[] = { variable494 for (i = 0; cttypes[i].name; i++) in get_type()495 if (strcmp(cttypes[i].name, typestr) == 0) in get_type()560 spec = cttypes[key].verbout; in print_contract()606 spec = cttypes[get_type(ct_status_get_type(status))]. in print_contract()626 verbout_t *vo = cttypes[typeno].verbout; in scan_type()627 const char *type = cttypes[typeno].name; in scan_type()